links

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