Module Monoid.All

module All: S  with type t = bool

type t 

val append : t -> t -> t

val zero : t