sophia/test/contracts/polymorphism_remove_payable_entrypoint.aes
2022-11-11 20:36:44 +03:00

6 lines
101 B
Plaintext

contract interface I =
payable entrypoint f : () => int
contract C : I =
entrypoint f() = 1