ducStrucs"] ;
  node0 -> node6 [arrowtail="empty", dir="back", id="graph1_0_6", class="inheritance", tooltip="OrElse is a subtype of ExstInducStrucs"] ;
  node0 -> node7 [arrowtail="empty", dir="back", id="graph1_0_7", class="inheritance", tooltip="SimpleBase is a subtype of ExstInducStrucs"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  if ($("svg#graph1").children().length == 0) {
    var dot = document.querySelector("#dot1").text;
    var svg = d3.select("#graph1");
   