interpreter

Augment interpreter_bigstep.ml with the exception exception Eval_error and the function: eval : exp -> exp let rec eval (e : exp) = … insert code … The function evaluates the expressions of the language, and returns a value, or raises the OCaml exception Eval_error if the computation fails. Test eval with the following inputs: 1) […]

Create the file interpreter.ml with the following data type: type exp = | True | False | If of exp * exp * exp | Num of int | IsZero of exp | Plus of exp * exp | Mult of exp * exp and exception exception Eval_error Create the two functions: step : exp