oltip="ConsSeqExst[SS, H, Intros] is a subtype of ExstInducStrucs"] ;
  node0 -> node3 [arrowtail="empty", dir="back", id="graph1_0_3", class="inheritance", tooltip="IndConsSeqExst[SS, H, F, Index, Intros] is a subtype of ExstInducStrucs"] ;
  node0 -> node4 [arrowtail="empty", dir="back", id="graph1_0_4", class="inheritance", tooltip="LambdaInduc is a subtype of ExstInducStrucs"] ;
  node0 -> node5 [arrowtail="empty", dir="back", id="graph1_0_5", class="inheritance", tooltip="NatRing is a subtype of ExstIn