Module env 

Modules

combinator

infer_bounds

Structs

Env 🔒

RedBound

Accessor for the bounding red-ty or red-perm on an inference variable. Can be used to read or modify the current values but can also be awaited through impl, which will block until a value is set by another task. Note that red-ty bounds can be set more than once but must always get tighter each time they are modified.

VariableTypeCell 🔒

Enums

VariableType 🔒

The type of a variable.