Module schema 

Canonical semantic representation of the portable HAL schema grammar.

HALC keeps surface schemas as ordinary forms on the wire. This module is the first compiler-facing lowering step: it turns those forms into a typed graph without evaluating schema Vars or copying nested definitions.

Structs

FunctionSchema

SchemaField

Enums

SchemaType

Functions

infer_function_types

Infers conservative function signatures from executable module forms. Declared schemas seed parameter types, but inferred results remain a separate table: annotations are contracts, while these are optimizer facts.

normalize_schema

schema_shorthand