yle="invis"
  node0 [URL="#inheritance-diagram-container", label="ExstInducStrucs", id="graph1_0", class="this trait", tooltip="provingground.induction.ExstInducStrucs (this trait)"] ;
}
  
  
  
}
  
  node1 [URL="ExstInducStrucs$$Base$.html#inheritance-diagram-container", label="ExstInducStrucs.Base", id="graph1_1", class="default", tooltip="provingground.induction.ExstInducStrucs.Base"] ;
  node2 [URL="ExstInducStrucs$$ConsSeqExst.html#inheritance-diagram-container", label="ConsSeqExst[SS, H, Intros]", i