HeadT, CT, H]"] ;
  node4 -> node0 [arrowtail="empty", dir="back", id="graph1_4_0", class="inheritance", tooltip="DepFuncPtn[U, V, VV, C, F, H] is a subtype of RecursiveConstructorPattern[Cod, ArgT, HeadT, CT, H]"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  if ($("svg#graph1").children().length == 0) {
    var dot = document.querySelector("#dot1").text;
    var svg = d3.select("#graph1");
    var inner = svg.append("g");

    // Set up zoom support
    var zoom = d3.zoo