Module stmt 

Imperative statement AST types for the LOGOS language.

This module defines statement types for the imperative fragment including:

• Stmt: Statement variants (let, if, match, while, for, function defs)
• Expr: Imperative expressions (field access, method calls, literals)
• TypeExpr: Type annotations with refinements and generics
• Literal: Literal values (numbers, strings, booleans)
• Block: Statement blocks with optional return expressions

The imperative AST is used in LOGOS mode for generating executable Rust code.

Structs

MatchArm

Match arm for pattern matching in Inspect statements.

Enums

BinaryOpKind

Binary operation kinds for imperative expressions.

Expr

Shared expression type for pure computations (LOGOS §15.0.0).

Literal

Literal values in LOGOS.

ReadSource

Source for Read statements.

SelectBranch

A branch in a Select statement.

Stmt

Imperative statement AST (LOGOS §15.0.0).

TypeExpr

Type expression for explicit type annotations.

Type Aliases

Block

Block is a sequence of statements.