Composition.Make
module _ :
Axiom
with type 'a interior = 'a Interior.t
and type 'a exterior = 'a Exterior.t
type 'a t = 'a Interior.t Exterior.t
val return : 'a -> 'a t
module Bool : sig ... end
monadic convenience functions around booleans
module Option : sig ... end
applying monadic functions to the option type
module List : sig ... end
applying monadic functions to lists
module Operators : sig ... end