Module unify_key

Structs

• ConstVariableOrigin
• ConstVidKey
• EffectVidKey
• RegionUnificationError
• RegionVidKey

Enums

• ConstVariableValue
• EffectVarValue
  values for the effect inference variable
• RegionVariableValue

Traits

• ToType