Conv.L
module Monadic_Arity : sig ... end
type 'a m = 'a Monadic_Arity.m
module Binary : sig ... end
module Boolean : sig ... end
module Memory : sig ... end
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