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