Module move_model::ty

Contains types and related functions.

Structs

• Substitution
  A type substitution.
• TypeDisplay
  Helper for type displays.
• TypeInstantiationDerivation
  A helper to derive the set of instantiations for type parameters
• TypeUnificationAdapter
  Helper to unify types which stem from different generic contexts.

Enums

• PrimitiveType
  Represents a primitive (builtin) type.
• Type
  Represents a type.
• TypeDisplayContext
  Data providing context for displaying types.
• TypeUnificationError
  Represents an error resulting from type unification.
• Variance
  A parameter for type unification that specifies the type compatibility rules to follow.

Constants

• BOOL_TYPE
• NUM_TYPE