, id="graph1_1", class="default", tooltip="scala.Product"] ;
  node2 [label="Serializable", id="graph1_2", class="default", tooltip="java.io.Serializable"] ;
  node1 -> node0 [arrowtail="empty", dir="back", id="graph1_1_0", class="inheritance", tooltip="ProofLambda is a subtype of Product"] ;node2 -> node0 [arrowtail="empty", dir="back", id="graph1_2_0", class="inheritance", tooltip="ProofLambda is a subtype of Serializable"] ;
}
</script><script>$("#inheritance-diagram").bind('beforeShow', function() {
  i