diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/flow.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/flow.sail b/lib/flow.sail index 7dc5969e..b698b597 100644 --- a/lib/flow.sail +++ b/lib/flow.sail @@ -2,6 +2,8 @@ $ifndef _FLOW $define _FLOW val not_bool = {coq: "negb", _: "not"} : bool -> bool +/* NB: There are special cases in Sail for effectful uses of and_bool and + or_bool that are not shown here. */ val and_bool = {coq: "andb", _: "and_bool"} : (bool, bool) -> bool val or_bool = {coq: "orb", _: "or_bool"} : (bool, bool) -> bool |