10 lines
174 B
Plaintext
10 lines
174 B
Plaintext
contract Remote =
|
|
function missing : (int) => int
|
|
|
|
contract Init_error =
|
|
|
|
record state = {value : int}
|
|
|
|
function init(r : Remote, x : int) =
|
|
{value = r.missing(x)}
|