(* Data type definitions *)
| If of t * t * t
| Succ of t
| Pred of t
Copyright By PowCoder代写 加微信 powcoder
| IsZero of t
(* small-step evaluator *)
val eval : t -> t
(* multi-step evaluator *)
val evalAll : t -> t
big-step evaluator
Your job is to complete the code for this function in arith.ml
val evalBig : t -> t
程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com