10 lines
206 B
Plaintext
10 lines
206 B
Plaintext
|
|
contract Counter =
|
|
|
|
record state = { value : int }
|
|
|
|
entrypoint init(val) = { value = val }
|
|
entrypoint get() = state.value
|
|
stateful entrypoint tick() = put(state{ value = state.value + 1 })
|
|
|