Crate parallax_puir 

Parallax Universal Intermediate Representation (PUIR).

PUIR represents language-neutral program semantics (intent), not syntax. Distinct from PIR (values), PCIR (suspended control), and UES (execution state).

Structs

Effects

Effect flags for functions / regions.

Function

Function / method.

Module

A module (file-level unit).

NodeId

Stable node id within a PUIR graph (for source maps / repair).

Parameter

Function parameter.

PuirProgram

A complete PUIR program (one or more modules).

SourceSpan

Source location preserved for diagnostics and .plxmap origin lookup.

TypeDef

Nominal type declaration.

TypeEvidence

One piece of evidence used during type inference.

TypeInferenceBundle

Collection of inference reports.

TypeInferenceReport

Inference outcome for a symbol.

Enums

Confidence

Confidence attached to a translated region.

Expr

Expression node.

PuirItem

Top-level item.

PuirType

Language-neutral type.

Stmt

Statement node.

Visibility

Visibility.

Constants

PUIR_SCHEMA_VERSION

PUIR schema version. Bump on incompatible IR changes.

Functions

check_puir_schema

Reject unknown / future major schemas.

schema_error

Helper to build a schema error.