diff options
Diffstat (limited to 'evaluator.ml')
-rwxr-xr-x | evaluator.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/evaluator.ml b/evaluator.ml index 0681183..d9fa754 100755 --- a/evaluator.ml +++ b/evaluator.ml @@ -308,6 +308,9 @@ let () = begin register3 "if" (t_bool, t_string, t_string) f_string if_;
register1 "abs" t_int f_number D.Num.abs;
+ register1 "int" t_int f_number D.Num.floor;
+ register1 "rounddown" t_int f_number D.Num.round_down;
+
let module CompareBool = Make_Compare(D.Bool) in
CompareBool.register t_bool;
|