ritance-diagram-container", label="ScalaTerm[U, TermScala[U]]", id="graph1_3", class="implicit-outgoing class", tooltip="provingground.scalahott.ScalaRep.TermScala can be implicitly converted to ScalaTerm[U, TermScala[U]] by the implicit method ScalaTerm in object provingground.scalahott.ScalaRep"] ;
  
               }
  subgraph clusterThis {
  style="invis"
  node0 [URL="#inheritance-diagram-container", label="TermScala[U]", id="graph1_0", class="this class", tooltip="provingground.scalahott.ScalaRep.Ter