links

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