f743002678eb67b99bbc29fee116b65d9530fec0wrowetype bool ::= true | false

80833bb9a1bf25dcf19e814438a4b311d2e1f4cffuankg

a34684a59b60a4173c25035d0c627ef17e6dc215rpluemop l : bool

1337c7673efc1f80f634139fbad7cbb98a0dc657ylavic

1337c7673efc1f80f634139fbad7cbb98a0dc657ylavictype Unit

1337c7673efc1f80f634139fbad7cbb98a0dc657ylavic

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

4da61833a1cbbca94094f9653fd970582b97a72etrawick

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

4da61833a1cbbca94094f9653fd970582b97a72etrawick

4da61833a1cbbca94094f9653fd970582b97a72etrawickop b : Unit -> Unit = \x . ()

4da61833a1cbbca94094f9653fd970582b97a72etrawick