Parameter List.2-Bool

type t
val any : t list -> t M.t
val all : t list -> t M.t