package links

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module E : sig ... end

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