Represents a POTENTIAL application of a first-class function in the unfolding procedure
Represents a POTENTIAL application of a first-class function in the unfolding procedure
The equals condition guards the application for equality of the concrete caller with the provided template in order to perform dynamic dispatch.
Constructor object for LambdaTemplate
Constructor object for LambdaTemplate
The apply methods performs some pre-processing before creating an instance of LambdaTemplate.