from lib import SignedBy

​

def ownership(owner, tx) := SignedBy(tx, owner).any()

​

pragma solidity ^0.5.0;

pragma experimental ABIEncoderV2;

​

import { DataTypes as types } from "ovm-contracts/DataTypes.sol";

import "ovm-contracts/UniversalAdjudicationContract.sol";

import "ovm-contracts/Utils.sol";

import "ovm-contracts/AtomicPredicate.sol";

import "ovm-contracts/CompiledPredicate.sol";

​

​

/**

 * Ownership(owner,tx)

 */

contract Ownership {

    bytes public OwnershipT = bytes("OwnershipT");

​

    UniversalAdjudicationContract adjudicationContract;

    Utils utils;

    address IsLessThan;

    address Equal;

    address IsValidSignature;

    address IsContained;

    address HasIntersection;

    address VerifyInclusion;

    address IsSameAmount;

    address IsConcatenatedWith;

    address IsValidHash;

    address IsStored;

    address notAddress;

    address andAddress;

    address forAllSuchThatAddress;

    address public payoutContractAddress;

    bool isInitialized = false;

    bytes secp256k1;

​