type bool ::= true | false

op l : bool

type Unit

op a : Unit = case l of true -> ()| false -> ()

op b : Unit = let x = true; y = false; z = x in ()

op b : Unit -> Unit = \x . ()