Module Monad.MonadPlusUtils_list


module MonadPlusUtils_list: MonadPlusUtilsSig  with type 'a m = 'a Monad_list.m

include Monad.MonadUtilsSig
val mzero : 'a m
val mplus : 'a m -> 'a m -> 'a m
val guard : bool -> unit m
val msum : 'a m list -> 'a m