links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Evalir . Eval

Parameters

Signature

include EVALUATOR
type v = Value.t
val reify : Value.resumption -> v
val error : string -> 'a
val finish : Value.env -> v -> result
val apply : Value.continuation -> Value.env -> (v * v list) -> result
val apply_cont : Value.continuation -> Value.env -> v -> result
val run_program : Value.env -> Ir.program -> Value.env * v