Call_forest.Shape
module I : sig ... end
type t =
| Node of (I.t * t) list
val quickcheck_generator : t Base_quickcheck.Generator.t
val quickcheck_observer : t Base_quickcheck.Observer.t
val quickcheck_shrinker : t Base_quickcheck.Shrinker.t