Const
Always, never, or maybe, which is what a static answer about a running program usually is. Its operators keep maybe infectious, so a conclusion never claims more than what is known.
maybe
values
Always, never, or maybe, which is what a static answer about a running program usually is. Its operators keep
maybeinfectious, so a conclusion never claims more than what is known.