You can search for identifiers within the package.
in-package search v0.2.0
alba.core
Term.Monadic
Monadic functions
module M : Fmlib.Module_types.MONAD
val fold_free : (int -> 'a -> 'a M.t) -> t -> 'a -> 'a M.t
val map_free : (int -> int M.t) -> t -> t M.t