diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/numeric.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/numeric.ml b/src/numeric.ml index 12ea04c..17fcac6 100644 --- a/src/numeric.ml +++ b/src/numeric.ml @@ -15,6 +15,8 @@ let int_of_string_opt = Big_int.big_int_of_string_opt let big = Big_int.big_int_of_int let (>=) = Big_int.ge_big_int let (<=) = Big_int.le_big_int +let (<) = Big_int.lt_big_int +let (>) = Big_int.gt_big_int let opts = ref default_opts |