Module ir 

Structs

BodyBindingPlan

BoolMatchShape

DispatchArmPlan

DispatchDefaultPlan

DispatchTableShape

ForwardCallPlan

ListMatchShape

ThinBodyPlan

Enums

BodyExprPlan

Minimal body-level semantic IR shared across backends.

BodyPlan

BoolCompareOp

BoolSubjectPlan

CallPlan

DispatchBindingPlan

DispatchLiteral

ForwardArg

LeafOp

Small expression-shaped leaf operations shared across backends.

MatchDispatchPlan

SemanticConstructor

SemanticDispatchPattern

TailCallPlan

ThinKind

WrapperKind

Traits

CallLowerCtx

Shared semantic lowering helpers that sit between resolved AST and concrete backends.

ThinBodyCtx

Functions

classify_body_expr_plan

classify_body_plan

classify_bool_match_shape

classify_bool_match_shape_from_patterns

classify_bool_subject_plan

classify_call_plan

classify_callee

classify_constructor_name

classify_dispatch_pattern

classify_dispatch_table_shape

classify_dispatch_table_shape_from_patterns

classify_forward_call_parts

classify_forward_call_plan

classify_forward_fn_body

classify_leaf_op

classify_list_match_shape

classify_list_match_shape_from_patterns

classify_match_dispatch_plan

classify_match_dispatch_plan_from_patterns

classify_tail_call_plan

classify_thin_body_plan

classify_thin_fn_def

expr_to_dotted_name

is_builtin_namespace

Type Aliases

SemanticCallee