Update Bool builtin a bit

This commit is contained in:
Richard Feldman 2019-12-18 21:51:08 -05:00
parent d0fa8bf857
commit c33b8a4fe3

View file

@ -1,7 +1,9 @@
api Bool provides Bool.*, not, equal, notEqual
interface Bool
exposes [ Bool, not, equal, notEqual ]
imports []
## Either #True or #False.
Bool := False, True
Bool : [ False, True ]
## Returns #False when given #True, and vice versa.
not : Bool -> Bool