14 lines
344 B
Plaintext
14 lines
344 B
Plaintext
include "List.aes"
|
|
|
|
contract C =
|
|
type state = int
|
|
|
|
function any(l : list(bool)) : bool = List.foldl((||), false, l)
|
|
|
|
entrypoint init() =
|
|
let bad_application = (+)(1)
|
|
let good_application = (-)(3, 4)
|
|
let op_var = (+)
|
|
let op_var_application = op_var(3, 4)
|
|
|
|
good_application + op_var_application |