aboutsummaryrefslogtreecommitdiff
path: root/evaluator.ml
diff options
context:
space:
mode:
Diffstat (limited to 'evaluator.ml')
-rwxr-xr-xevaluator.ml3
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;