Module Cc

module Cc: sig .. end

The type of monadic values.

type 'a m

type 'a prompt

The type of prompts.

val return : 'a -> 'a m

return a_value

val bind : 'a m -> ('a -> 'b m) -> 'b m

val run : 'a m -> 'a

val new_prompt : unit -> 'a prompt m

val pushP : 'a prompt -> 'a m -> 'a m

val shiftP : 'a prompt -> (('b m -> 'a m) -> 'a m) -> 'b m