package preface
Module Suite.Monoid
module Laws : sig ... endval print : (Format.formatter -> 'a -> unit) -> ('a, Index.t) R.t -> stringval alternative_monoid_1 : int -> QCheck2.Test.tval alternative_monoid_2 : int -> QCheck2.Test.tval alternative_monoid_3 : int -> QCheck2.Test.tval tests : count:int -> QCheck2.Test.t list