Package org.derive4j.processor.api
Class FreeVariables.Variable
java.lang.Object
org.derive4j.processor.api.FreeVariable
org.derive4j.processor.api.FreeVariables.Variable
- Enclosing class:
FreeVariables
-
Nested Class Summary
Nested classes/interfaces inherited from class org.derive4j.processor.api.FreeVariable
FreeVariable.Case<X>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
type
-
name
-
-
Constructor Details
-
Variable
Variable(DeclaredType type, String name)
-
-
Method Details
-
variable
- Specified by:
variable
in classFreeVariable
-