Fix boolean tests for CameLIGO

This commit is contained in:
John David Pressman 2019-10-24 09:13:31 -07:00
parent ddc5b8e36d
commit 0bf37a2e21

View File

@ -1,16 +1,16 @@
// Test CameLIGO boolean operators
let or_true (b : bool) : bool =
b or True
b || true
let or_false (b : bool) : bool =
b or False
b || false
let and_true (b : bool) : bool =
b and True
b && true
let and_false (b : bool) : bool =
b and False
b && false
let not_bool (b: bool) : bool =
not b