Module Monad.V
module I : sig ... endval associativity : ('a -> 'b Bastet.List.Monad.t) -> ('b -> 'c Bastet.List.Monad.t) -> 'a Bastet.List.Monad.t -> boolval identity : ('a -> 'b Bastet.List.Monad.t) -> 'a -> bool
Monad.Vmodule I : sig ... endval associativity : ('a -> 'b Bastet.List.Monad.t) -> ('b -> 'c Bastet.List.Monad.t) -> 'a Bastet.List.Monad.t -> boolval identity : ('a -> 'b Bastet.List.Monad.t) -> 'a -> bool