Class FreeVariables.Lazy

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

private static final class FreeVariables.Lazy extends FreeVariable