Module type_contract 

Runtime type-contract matching shared by native and portable execution.

The parser owns TypeExpr; this module owns how those expressions match runtime values. Runtimes project their value representation through the small TypeContractValue interface instead of maintaining another type dispatch table.

Enums

RuntimeTypeKind

Traits

TypeContractValue

Functions

manifest_signature_is_portable

Return whether every parameter and successful return value in a canonical capability signature is representable by the portable value contract.

manifest_type_is_portable

Return whether a canonical manifest type can cross the portable DataValue boundary without losing information or type precision.

matches_manifest_type

Match a value against the canonical const-friendly type used by builtin and capability manifests.

matches_type