Class FreeVariables.Variable

java.lang.Object
org.derive4j.processor.api.FreeVariable
org.derive4j.processor.api.FreeVariables.Variable
Enclosing class:
FreeVariables

private static final class FreeVariables.Variable extends FreeVariable