arning.GeneratorNode.FlatMapOpt[provingground.HoTT.Term,provingground.HoTT.Term]"></a><a id="apply(::[Typ[Term],HNil]):FlatMapOpt[Term,Term]"></a> <span class="permalink"><a href="../../provingground/learning/TermGeneratorNodes$FoldedTargetFunctionNode$.html#apply(v1:provingground.HoTT.Typ[provingground.HoTT.Term]::shapeless.HNil):provingground.learning.GeneratorNode.FlatMapOpt[provingground.HoTT.Term,provingground.HoTT.Term]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modif