Explicit Types
Kind: constraint
Layer: Contracts Core
Record: lexicon:explicit-types
Canonical: Lexicon
The requirement that values crossing a boundary carry explicit, declared types rather than open-ended ones.
Listed in Lexicon terms, after Dynamic Untyped Boundaries and before Rapid Scripting.