Module cairo_lang_semantic::types
source · Structs
A substitution of generic arguments in generic parameters. Used for concretization.
Enums
Functions
Query implementation of crate::db::SemanticGroup::generic_type_generic_params.
Resolves a type given a module and a path.
Substituted generics in a FunctionId.
Substituted generics in a slice of GenericArgumentId.
Substituted generics in a ConcreteVariant.
Query implementation of crate::db::SemanticGroup::type_info.