24 lines
841 B
Plaintext
24 lines
841 B
Plaintext
contract RemoteState =
|
|
record rstate = { i : int, s : string, m : map(int, int) }
|
|
|
|
function look_at(s : rstate) = ()
|
|
function return_s(big : bool) =
|
|
let x = "short"
|
|
let y = "______longer_string_at_least_32_bytes_long___________longer_string_at_least_32_bytes_long___________longer_string_at_least_32_bytes_long_____"
|
|
if(big) y else x
|
|
function return_m(big : bool) =
|
|
let x = { [1] = 2 }
|
|
let y = { [1] = 2, [3] = 4, [5] = 6 }
|
|
if(big) y else x
|
|
|
|
function get(s : rstate) = s
|
|
function get_i(s : rstate) = s.i
|
|
function get_s(s : rstate) = s.s
|
|
function get_m(s : rstate) = s.m
|
|
|
|
function fun_update_i(s : rstate, ni) = s{ i = ni }
|
|
function fun_update_s(s : rstate, ns) = s{ s = ns }
|
|
function fun_update_m(s : rstate, nm) = s{ m = nm }
|
|
function fun_update_mk(s : rstate, k, v) = s{ m = s.m{[k] = v} }
|
|
|