Package org.derive4j.processor.api
Class FreeVariables.CasesMatchers.TotalMatcher_Variable
java.lang.Object
org.derive4j.processor.api.FreeVariables.CasesMatchers.TotalMatcher_Variable
- Enclosing class:
FreeVariables.CasesMatchers
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionfinal <X> Function
<FreeVariable, X> variable
(FreeVariable.Case<X> variable) final <X> Function
<FreeVariable, X> variable_
(X x)
-
Constructor Details
-
TotalMatcher_Variable
TotalMatcher_Variable()
-
-
Method Details
-
variable
-
variable_
-