Module Conv.L

type binary
type boolean
type continuation
type memory
module Monadic_Arity : sig ... end
type 'a m = 'a Monadic_Arity.m
module Binary : sig ... end
module Boolean : sig ... end
val value_of_truth : size -> boolean -> binary m
module Memory : sig ... end
type answer
val apply_cont : continuation -> memory -> answer m
val choose_and_apply_cont : boolean -> continuation -> continuation -> memory -> answer m
val select_and_apply_cont : binary -> (Case.Set.t * continuation) list -> memory -> answer m
val no_continuation : memory -> answer m