diff options
Diffstat (limited to 'lib/flow.sail')
| -rw-r--r-- | lib/flow.sail | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/flow.sail b/lib/flow.sail index 10badc93..52c98753 100644 --- a/lib/flow.sail +++ b/lib/flow.sail @@ -28,6 +28,11 @@ val gteq_atom_range = "gteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> boo val eq_range = {ocaml: "eq_int", lem: "eq"} : forall 'n 'm 'o 'p. (range('n, 'm), range('o, 'p)) -> bool val eq_int = {ocaml: "eq_int", lem: "eq"} : (int, int) -> bool +val lteq_int = "lteq" : (int, int) -> bool +val gteq_int = "gteq" : (int, int) -> bool +val lt_int = "lt" : (int, int) -> bool +val gt_int = "lt" : (int, int) -> bool + overload operator == = {eq_atom, eq_range, eq_int} $ifdef TEST |