html#inheritance-diagram-container", label="ProbabilityDistribution[A]", id="graph1_1", class="default", tooltip="provingground.ProbabilityDistribution"] ;
  node1 -> node0 [arrowtail="empty", dir="back", id="graph1_1_0", class="inheritance", tooltip="Mixture[A] is a subtype of ProbabilityDistribution[A]"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  if ($("svg#graph1").children().length == 0) {
    var dot = document.querySelector("#dot1").text;
    var svg = d3.select("