trống Unit
Provenance
- #20 null-absence concept_map maps lean/Unit → concept void
- #23 demo-alpha concept_map covers concept void
- #28 sealion-refinement concept_map maps lean/Unit → concept void winning layer
Full per-leaf change history across brain builds is not yet recorded; shown is the current build's layer stack.
Across locales
What each covering migration carries for this concept, per locale — the whole-brain view, not filtered by your language. Forms are the migration's leaf values (pre-transform, pre-human-verdict); a locale without a form falls back to canonical English. Chips open that locale's live docs page for this term.
null-absence · concept void — per-locale forms
Expand to load the per-locale matrix.
demo-alpha · concept void — per-locale forms
Expand to load the per-locale matrix.
sealion-refinement · concept void — per-locale forms
Expand to load the per-locale matrix.
AI council review
Reviewed by 1 model
· @cf/aisingapore/gemma-sea-lion-v4-27b-it · 2026-07-17
Cluster null-absence
· locale vi
· member void
Although 'vôgiátrị' (valueless) is conceptually accurate, 'trống' (empty) is a more concise and commonly understood term for 'void' in a programming context, particularly when referring to a function that doesn't return a value. It's also more consistent with the avoidance of overly philosophical interpretations. The clipped form 'vô' is too short and lacks clarity.