Top

⊤
(Unicode character U+22A4: "down tack")

"Everything". The supertype of all types; the weakest and most general type. Every value is an instance of top, even a hidden nil value which is accessible only to the Avail runtime.

Top serves as the "return type" for functions that do not produce a usable value. The confluence of the type rules and syntax rules of Avail ensure that any value produced by an expression of type top is always destined to be discarded implicitly when it is produced by an expression evaluation.

See also: Bottom