Reference interpreter for the default calculus
module Pos = Utils.Posmodule Errors = Utils.Errorsmodule Cli = Utils.Climodule A = Astval is_empty_error : A.expr Pos.marked -> boolval empty_thunked_term : Ast.expr Pos.markedval evaluate_operator :
A.operator Pos.marked ->
A.expr Pos.marked list ->
A.expr Pos.markedval evaluate_expr : A.expr Pos.marked -> A.expr Pos.markedval interpret_program :
Ast.expr Pos.marked ->
(Ast.Var.t * Ast.expr Pos.marked) listInterpret a program. This function expects an expression typed as a function whose argument are all thunked. The function is executed by providing for each argument a thunked empty default.