Module syntax 

Abstract syntax and source-position newtypes.

The interpreter pipeline produces and consumes Expr trees built from VarName identifiers and Position source offsets. These newtypes make each domain primitive distinct at the type level so a byte offset cannot be confused with any other usize, and a variable name cannot be confused with any other string.

Structs

Position

A byte offset into the source string.

VarName

A variable identifier.

Enums

Expr

The abstract syntax tree for the lambda calculus dialect.