diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/smt.sail | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/smt.sail b/lib/smt.sail index f8521a4a..ae672947 100644 --- a/lib/smt.sail +++ b/lib/smt.sail @@ -10,6 +10,8 @@ val div = { c: "div_int" } : forall 'n 'm. (atom('n), atom('m)) -> {'o, 'o = div('n, 'm). atom('o)} +overload operator / = {div} + val mod = { smt: "mod", ocaml: "modulus", @@ -17,6 +19,8 @@ val mod = { c: "mod_int" } : forall 'n 'm. (atom('n), atom('m)) -> {'o, 'o = mod('n, 'm). atom('o)} +overload operator % = {mod} + val abs_atom = { smt : "abs", ocaml: "abs_int", |