implicit declaration
Computing term for a declaration that is implied rather than explicitly stated, often in programming language contexts.
In this language, variable types are often implicitly declared.
明示宣言 means explicit declaration, the opposite of 暗示宣言.
Compound of 暗示 (あんじ, 'implication') and 宣言 (せんげん, 'declaration'). A technical term likely calqued from English 'implicit declaration'.