package links

  1. Overview
  2. Docs

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 -> (Ir.name * v) -> trap_result
OCaml

Innovation. Community. Security.