  node1 [URL="ConstructorPattern$$CnstDepFuncPtn.html#inheritance-diagram-container", label="CnstDepFuncPtn[T, V, VV, C, HC, H]", id="graph1_1", class="default", tooltip="provingground.induction.coarse.ConstructorPattern.CnstDepFuncPtn"] ;
  node2 [URL="ConstructorPattern$$CnstFncPtn.html#inheritance-diagram-container", label="CnstFncPtn[T, Cod, HC, H]", id="graph1_2", class="default", tooltip="provingground.induction.coarse.ConstructorPattern.CnstFncPtn"] ;
  node3 [URL="ConstructorPattern$$FuncPtn.html#in