nerSym</a></li><li class="current-entities indented2"><span class="separator"></span> <a href="HoTT$$LambdaFixed.html" title="lambda which is known to be pure, i.e., have fixed codomain; this is reflected in its scala class; one should usually not use the constructor of this case class, instead use the function lambda or the syntactic sugar for this, e.g." class="class"></a><a href="HoTT$$LambdaFixed.html" title="lambda which is known to be pure, i.e., have fixed codomain; this is reflected in its scala cla