sig
  type 'a t
  val root : 'a QCheck2.Tree.t -> 'a
  val children : 'a QCheck2.Tree.t -> 'a QCheck2.Tree.t Stdlib.Seq.t
  val pp :
    ?depth:int ->
    (Stdlib.Format.formatter -> 'a -> unit) ->
    Stdlib.Format.formatter -> 'a QCheck2.Tree.t -> unit
end