sophia/test/contracts/empty_record_declaration.aes
2022-05-23 20:33:13 +04:00

4 lines
58 B
Plaintext

contract C =
record r = {}
entrypoint init() = ()