Interpreter (ligo.Interpreter)

type interpreter_error = Main_errors.all

val eval_test : 
  raise:( interpreter_error, Main_warnings.all ) Simple_utils.Trace.raise ->
  steps:int ->
  options:Compiler_options.t ->
  ?source_file:string ->
  Ast_typed.program ->
  (string * Ligo_interpreter.Types.value) list