sophia/test/contracts/test.aes
2022-05-10 11:51:17 +02:00

4 lines
317 B
Plaintext

contract ShareTwo =
record state = {s1 : int, s2 : int}
entrypoint init() = {s1 = 0, s2 = 0}
stateful entrypoint buy() = ()