tion[X, Y, G]", id="graph1_0", class="this trait", tooltip="provingground.translation.ConeRestriction (this trait)"] ;
}
  
  
  
}
  
  node1 [URL="OptRestriction.html#inheritance-diagram-container", label="OptRestriction[X, Y]", id="graph1_1", class="default", tooltip="provingground.translation.OptRestriction"] ;
  node2 [label="AnyRef", id="graph1_2", class="default", tooltip="scala.AnyRef"] ;
  node2 -> node0 [arrowtail="empty", dir="back", id="graph1_2_0", class="inheritance", tooltip="ConeRestriction[