type error = [ | `UnknownVariable of string| `Type_error of string| `Division_by_zero| `Steps_exceeded
]val pp_error : Stdlib.Format.formatter -> [< error ] -> unitval run : int -> string Ast.t -> (int, [> error ]) Stdlib.resultval parse_and_run : ?max_steps:int -> string -> unit