Skip to main content

Module infer_bounds

dada_ir_sym::check::env

Module infer_bounds 

Source

Structs§

RedPermBoundIterator
Iterator over the red-perm bounds applied to infer that are coming from a given direction (above/below).
RedTyBoundIterator
Iterator over the red-ty bounds applied to infer that are coming from a given direction (above/below).
SymGenericTermBoundIterator
Iterates over bounds on an inference variable in a given permission context. Carries a permission that is applied to each bound as extract it.

Enums§

SymGenericTermBoundIteratorKind 🔒

Functions§

next_bound 🔒