sophia/test/contracts/contract_interface_polymorphism_undefined_interface.aes

6 lines
95 B
Plaintext

contract interface I : H =
entrypoint f : () => unit
contract C =
entrypoint g() = ()