Crate mago_typing 

Modules

constant

resolver

Functions

infere

Infers the type of a given expression by initializing a simple type reflection that includes the inferred type kind and its source location.

infere_kind

Infers the general type kind of an expression without using a codebase for context.

resolve_kind

Resolves the type kind of an expression with additional codebase context for more precise type information.