Module program 

Compiled program: a set of functions plus a constant pool.

Structs

DeclaredEffect

Function

Program

Refinement

Enums

EffectArg

Constants

ZERO_BODY_HASH

All-zero sentinel — used in Function::default() and as a placeholder before the hash is computed at the end of the compile pass.

Functions

compute_body_hash

Hash a function body so that two structurally-identical bodies — the fn(x) -> x + 1 literal repeated at two source locations, two flow trampolines built from the same shape, etc. — yield the same hash.

Type Aliases

BodyHash

Content hash of a function body (#222). 16 bytes = SHA-256 truncated. Matches lex-vcs::OpId’s width so that mixing the two never confuses a reader expecting a uniform hash size across the codebase.