Conditional
class Conditional[U, V](special: U, value: V, default: InputAssignment[U, V]) extends InputAssignment[U, V]
An input assignment obtained from another input assignment by modifying the value of an unknown with a given binding.
- Value parameters:
- default
the initial input assignment
- special
the unknown whose value we want to change
- value
the new value of the unknown special