Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val new_prompt : unit -> 'a prompt
val push_prompt : 'a prompt -> (unit -> 'a) -> 'a
val push_subcont : ('a, 'b) subcont -> 'a -> 'b
val reset : ('a prompt -> 'a) -> 'a
val shift : 'a prompt -> (('b -> 'a) -> 'a) -> 'b
val control : 'a prompt -> (('b -> 'a) -> 'a) -> 'b
val shift0 : 'a prompt -> (('b -> 'a) -> 'a) -> 'b
val control0 : 'a prompt -> (('b -> 'a) -> 'a) -> 'b
val abort : 'a prompt -> 'a -> 'b