Module indices 

Structs

InferVarIndex

Identifies a particular inference variable during type checking.

Traits

FromInfer

Create an instance of Self from an inference variable

FromInferVar

Many of our types can be created from a variable