Suite.Absorb
module Laws : sig ... end
val print : (Stdlib.Format.formatter -> 'a -> unit) -> ('a, Index.t) R.t -> string
val alternative_right_absorb_1 : int -> QCheck2.Test.t
val tests : count:int -> QCheck2.Test.t list