label="AppendOpenBlock[T]", id="graph1_2", class="default", tooltip="provingground.translation.NestedDoc.AppendOpenBlock"] ;
  node3 [URL="NestedDoc$$RecDoc.html#inheritance-diagram-container", label="RecDoc[T]", id="graph1_3", class="default", tooltip="provingground.translation.NestedDoc.RecDoc"] ;
  node3 -> node0 [arrowtail="empty", dir="back", id="graph1_3_0", class="inheritance", tooltip="RecBlockDoc[T] is a subtype of RecDoc[T]"] ;
  node0 -> node1 [arrowtail="empty", dir="back", id="graph1_0_1", clas