links

The Links Programming Language
IN THIS PACKAGE

Parameters

module E : sig ... end

Signature

include CONTINUATION_EVALUATOR with type v = E.v and type result = E.result and type 'v t := 'v t and type 'v resumption := 'v resumption
type v = E.v
type result = E.result
type trap_result = ( v, result ) Trap.result
val apply : env:v Env.t -> v t -> v -> result
val resume : env:v Env.t -> v t -> v resumption -> v list -> result
val trap : v t -> (CommonTypes.Name.t * v) -> trap_result