heritance-diagram-container", label="FuncPtn[C, F, HC, H]", id="graph1_3", class="default", tooltip="provingground.induction.coarse.ConstructorPattern.FuncPtn"] ;
  node4 [URL="ConstructorPattern$$RecursiveConstructorPattern.html#inheritance-diagram-container", label="RecursiveConstructorPattern[Cod, ArgT, HeadT, CT, H]", id="graph1_4", class="default", tooltip="provingground.induction.coarse.ConstructorPattern.RecursiveConstructorPattern"] ;
  
  
  node4 -> node3 [arrowtail="empty", dir="back", id="graph1