# Explicit Types

> The requirement that values crossing a boundary carry explicit, declared types rather than open-ended ones.

Record: `lex:explicit-types`
Kind: constraint
Layer: [Contracts Core](https://banes-lab.com/records/layer/contracts-core.md)
Canonical: https://banes-lab.com/ontology/lexicon#lex-explicit-types

## category

- [Schema / Canonical Data / Semantics](https://banes-lab.com/records/lex-category/schema-canonical-data-semantics.md)

## referenced-by

- [Type Safety](https://banes-lab.com/records/arch/type-safety.md)