g to work." class="object"></a><a href="TermGeneratorNodes$Appln$.html" title="Wrapper for application to allow equality and  toString to work.">Appln</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TermGeneratorNodes$CurryForTyp$.html" title="" class="object"></a><a href="TermGeneratorNodes$CurryForTyp$.html" title="">CurryForTyp</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TermGeneratorNodes$FlipAppln$.html" title="Wrapper 