mScala (this class)"] ;
}
  subgraph clusterIncoming {
  style = "invis"
  node2 [URL="ScalaRep$$SimpleExtendedFunction.html#inheritance-diagram-container", label="SimpleExtendedFunction[U, V, X]", id="graph1_2", class="implicit-incoming class", tooltip="provingground.scalahott.ScalaRep.SimpleExtendedFunction can be implicitly converted to TermScala[SimpleExtendedFunction[U, V, X]] by the implicit method TermScala in object provingground.scalahott.ScalaRep"] ;
  
               }
  node2 -> node0[label="imp