base
Of_monad_indexed.M
base.base_internalhash_types
base.md5
base.shadow_stdlib
type ('a, 'i, 'j) t
val to_monad : ('a, 'i, 'j) t -> ('a, 'i, 'j) Monad.t
val of_monad : ('a, 'i, 'j) Monad.t -> ('a, 'i, 'j) t