Module typeck 

Type checker for Sigil.

Implements bidirectional type inference with evidentiality tracking. The type system enforces that evidence levels propagate correctly through computations.

Structs

TypeChecker

The type checker

TypeEnv

Type environment for scoped lookups

TypeError

Type error

TypeVar

Type variable for inference

Enums

EvidenceLevel

Evidence levels in the type system.

FloatSize

Float sizes

IntSize

Integer sizes

Type

Internal type representation.

TypeDef

Type definitions (structs, enums, type aliases)