is there a technical (programming) or even mathema...

# random

[Dalinar]

is there a technical (programming) or even mathematical term for something indicating that if it is present - it is - but if not present, - may or may not be - ? for example, if my class implements IAwesome it means that it contains an Awesome object val that can be retrieved but that if it doesn't implement IAwesome, it means nothing - the class may or may not contain an Awesome object

[robstoll]

something like schrödingers cat 🙂 if you look at it you know if it is present or not but otherwise, who knows 😄

[Dominaezzz]

Sounds like an "export" in the C world. 🤷🏼

[Dominaezzz]

Or a "declaration" in general.

[robstoll]

How do you treat "may or may not be" afterwards?

[Dominaezzz]

`private`/`internal` I guess. 🤷🏼 . I think the technical term only exists within certain scopes but not in general.

[ilya.gorbunov]

In logic it's _implication_: A being true means that B is also true, but A being false doesn't tell anything about B.