14 lines
257 B
Plaintext
14 lines
257 B
Plaintext
@compiler >= 9.0.0
|
|
|
|
contract Counter =
|
|
record state = {value : int}
|
|
|
|
stateful entrypoint init() =
|
|
{value = 1}
|
|
|
|
stateful entrypoint increment(n : int) =
|
|
put({value = state.value + n})
|
|
|
|
entrypoint value() =
|
|
state.value
|