Module typecheck 

Lightweight type inference for expressions.

Provides best-effort type inference over the expression language without requiring a full dependent type system. Useful for validating coercion expressions and catching obvious type mismatches early.

Enums

TypeError

Errors from type inference.

Functions

infer_type

Infer the output type of an expression given input variable types.

validate_coercion

Validate that a coercion expression produces the expected target type when given a single input variable "v" of the specified source type.