sophia/test/contracts/remote_call_ambiguous_record.aes
2021-12-16 13:36:25 +02:00

12 lines
288 B
Plaintext

contract interface Coin =
entrypoint mint : () => int
contract interface OtherCoin =
entrypoint mint : () => int
main contract Main =
function mkCoin() : Coin = ct_11111111111111111111111111111115rHyByZ
entrypoint foo() : int =
let r = mkCoin()
r.mint()