links

The Links Programming Language
IN THIS PACKAGE
Parameter #1 Links_core . Evalir . Evaluator . K . Evaluation . E
type v
type result
val error : string -> 'a
val computation : v Links_core.Value.Env.t -> v t -> Ir.computation -> result
val finish : v Links_core.Value.Env.t -> v -> result
val reify : v resumption -> v