oplss2024/pfenning/test.adj0
2024-06-03 15:00:06 -04:00

7 lines
144 B
Text

type bool = +{'true : 1, 'false : 1}
decl not (x : bool) : bool
defn not x = match x with
| 'true () => 'false ()
| 'false () => 'true ()