Suite_right_distributivity_aux.B
type t
val generator : t QCheck2.Gen.t
val observable : t QCheck2.Observable.t
val pp : Stdlib.Format.formatter -> t -> unit
val equal : t -> t -> bool