
  subgraph clusterThis {
  style="invis"
  node0 [URL="#inheritance-diagram-container", label="ConstructorDefn[U, C, H]", id="graph1_0", class="this class", tooltip="provingground.induction.coarse.ConstructorDefn (this class)"] ;
}
  
  
  
}
  
  
  node1 [URL="Constructor.html#inheritance-diagram-container", label="Constructor[C, H]", id="graph1_1", class="default", tooltip="provingground.induction.coarse.Constructor"] ;
  node2 [label="Product", id="graph1_2", class="default", tooltip="scala.Product"] ;