links

The Links Programming Language
IN THIS PACKAGE

Parameters

module E : sig ... end

Signature

include Links_core.Value.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 ) Links_core.Value.Trap.result
val apply : env:v Links_core.Value.Env.t -> v t -> v -> result
val resume : env:v Links_core.Value.Env.t -> v t -> v resumption -> v list -> result
val trap : v t -> (CommonTypes.Name.t * v) -> trap_result