Module ast 

Structs

DecisionBlock

FnDef

FnResolution

Compile-time resolution metadata for a function body. Produced by resolver::resolve_fn — maps local variable names to slot indices so the interpreter can use Vec<Rc<Value>> instead of HashMap lookups.

MatchArm

Module

TypeVariant

A variant in a sum type definition. e.g. Circle(Float) → TypeVariant { name: "Circle", fields: ["Float"] }

VerifyBlock

VerifyGiven

VerifyLaw

Enums

BinOp

Expr

FnBody

Literal

Pattern

Stmt

StrPart

TopLevel

TypeDef

A user-defined type definition.

VerifyGivenDomain

VerifyKind