Package org.derive4j.processor.api
Class Bindings.Binding_
java.lang.Object
org.derive4j.processor.api.Binding
org.derive4j.processor.api.Bindings.Binding_
- Enclosing class:
Bindings
-
Nested Class Summary
Nested classes/interfaces inherited from class org.derive4j.processor.api.Binding
Binding.Case<X>
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
variable
-
value
-
-
Constructor Details
-
Binding_
Binding_(FreeVariable variable, Expression value)
-
-
Method Details