Vocabulary
compiler.tree.propagation.info

Inputs
classa class
intervalan interval


Outputs
literala literal value
literal?a boolean


Word description
If interval has zero length and the class is sufficiently precise, we can turn it into a literal.

Definition