wshbair

pragma solidity ^0.5.12;


// ----------------------------------------------------------------------------
// ERC Token Standard #20 Interface
// https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
// ----------------------------------------------------------------------------
contract ERC20Interface {
    function totalSupply() public view returns (uint);

wshbair

pragma solidity ^0.5.12;

import './DateTime.sol';
import './SignedSafeMath.sol';

//----------------------------------------------------------------------------
// CXC Sukuk Smart Contract - signed integer
//----------------------------------------------------------------------------

contract CXCSukuk is DateTime {

wshbair

pragma solidity ^0.5.12;

import './DateTime.sol';
import './SignedSafeMath.sol';

//----------------------------------------------------------------------------
// CXC Murabaha Smart Contract - Signed integer
//----------------------------------------------------------------------------

contract CXCMurabaha is DateTime {