package delimcc

  1. Overview
  2. Docs
package delimcc
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a prompt
type ('a, 'b) subcont
val new_prompt : unit -> 'a prompt
val push_prompt : 'a prompt -> (unit -> 'a) -> 'a
val take_subcont : 'b prompt -> (('a, 'b) subcont -> unit -> 'b) -> 'a
val push_subcont : ('a, 'b) subcont -> (unit -> 'a) -> 'b
val push_delim_subcont : ('a, 'b) subcont -> (unit -> 'a) -> 'b
val shift : 'a prompt -> (('b -> 'a) -> 'a) -> 'b
val shift0 : 'a prompt -> (('b -> 'a) -> 'a) -> 'b
val control : 'a prompt -> (('b -> 'a) -> 'a) -> 'b
val abort : 'a prompt -> 'a -> 'b
val is_prompt_set : 'a prompt -> bool
val debug_status : string -> unit
val show_val : int -> Obj.t -> unit
val init_global_closure : 'a -> unit
val register_global_closure : ('a -> 'b) -> unit
val output_delim_value : out_channel -> 'a -> unit
val relativitize : Obj.t -> bool -> Obj.t
val absolutize : Obj.t -> Obj.t