type 'a t = 'a * 'a * 'a listval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> boolval pp :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a t ->
unitval show : (Stdlib.Format.formatter -> 'a -> unit) -> 'a t -> identval gen : 'a QCheck.Gen.t -> ('a * 'a * 'a list) QCheck.Gen.tval arb : 'a QCheck.Gen.t -> ('a * 'a * 'a list) QCheck.arbitrary