t", tooltip="provingground.HoTT.DefaultNameFactory"] ;
  node2 [label="AnyRef", id="graph1_2", class="default", tooltip="scala.AnyRef"] ;
  node2 -> node0 [arrowtail="empty", dir="back", id="graph1_2_0", class="inheritance", tooltip="NameFactory is a subtype of AnyRef"] ;
  node0 -> node1 [arrowtail="empty", dir="back", id="graph1_0_1", class="inheritance", tooltip="DefaultNameFactory is a subtype of NameFactory"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  if ($("svg#gr