links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Evalir . Evaluator . K . Frame
type 'v t
val of_expr : 'v Links_core.Value.Env.t -> Ir.tail_computation -> 'v t
val decompose : 'v t -> Ir.scope * Ir.var * 'v Links_core.Value.Env.t * Ir.computation