diff options
| author | Alasdair Armstrong | 2018-01-30 15:06:20 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-30 15:11:14 +0000 |
| commit | 368e8b200d53611ca145c63a876a6d37fcf5acaf (patch) | |
| tree | 561d0ef1bbcf8d0c650e846f10a9b00f303c532c /lib/flow.sail | |
| parent | 2a14c291caa7b07ac1e3ed6904765ea8702a4818 (diff) | |
Fix failing Lem tests
Diffstat (limited to 'lib/flow.sail')
| -rw-r--r-- | lib/flow.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/flow.sail b/lib/flow.sail index cb7b1b99..2ca0e1a8 100644 --- a/lib/flow.sail +++ b/lib/flow.sail @@ -25,6 +25,10 @@ val lteq_atom_range = "lteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> boo val gt_atom_range = "gt" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool val gteq_atom_range = "gteq" : forall 'n 'm 'o. (atom('n), range('m, 'o)) -> bool +val eq_int = {ocaml: "eq_int", lem: "eq"} : (int, int) -> bool + +overload operator == = {eq_atom, eq_int} + $ifdef TEST val __flow_test : forall 'n 'm. (atom('n), atom('m)) -> unit |