Module types 

Built-in type names (as they appear in source / qualified positions).

Constants

BYTES

DURATION

FLOAT

HTTP_RESULT

INSTANT

INT

JSON

LIST

MAP

MAP_ENTRY

The compiler-known entry record a map’s .entries query yields (v0.158, ADR 0184). A nominal generic record { key: K, value: V } — bynk stays nominal (ADR 0120), so a map entry is a named record, not an anonymous pair. Non-boundary like every generic-record instantiation (ADR 0183): project it through .map into a named type before a terminal that leaves the pipeline.

QUEUE_RESULT

REQUEST_HEADERS

#2341 (L4): an HTTP handler’s read-only view of the request’s headers.

STREAM

TOKEN_CLAIMS

#2380 (L5): an Oidc actor’s verified token claims.