package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type v = Value.t

type result = Proc.Proc.thread_result Lwt.t

type trap_result = (v, result) Value.Trap.result

val apply : env:v Value.Env.t -> v Value.Continuation.t -> v -> result

val resume : 
  env:v Value.Env.t ->
  v Value.Continuation.t ->
  v Value.Continuation.resumption ->
  v list ->
  result

val trap : v Value.Continuation.t -> (Ir.name * v) -> trap_result