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 Webs : Webserver_types.WEBSERVER

include EVALUATOR

type v = Value.t

type result = Proc.Proc.thread_result Lwt.t

val reify : Value.resumption -> v

val error : string -> 'a

val computation : Value.env -> Value.continuation -> Ir.computation -> result

val finish : Value.env -> v -> result

val apply : Value.continuation -> Value.env -> (v * v list) -> result

val apply_cont : Value.continuation -> Value.env -> v -> result

val run_program : Value.env -> Ir.program -> Value.env * v

val run_defs : Value.env -> Ir.binding list -> Value.env