tip="TermList is a subtype of TermListImplicits"] ;
  node3 -> node2 [arrowtail="empty", dir="back", id="graph1_3_2", class="inheritance", tooltip="TermListImplicits is a subtype of SubstImplicits"] ;
  node0 -> node1 [arrowtail="empty", dir="back", id="graph1_0_1", class="inheritance", tooltip="FiniteDistribution[T] is a subtype of ProbabilityDistribution[A]"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  if ($("svg#graph1").children().length == 0) {
    var dot = documen