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