Module move_model::ty
source · [−]Expand description
Contains types and related functions.
Structs
A type substitution.
Helper for type displays.
A helper to derive the set of instantiations for type parameters
Helper to unify types which stem from different generic contexts.
Enums
Represents a primitive (builtin) type.
Represents a type.
Data providing context for displaying types.
Represents an error resulting from type unification.
A parameter for type unification that specifies the type compatibility rules to follow.