The Avail Programming Language

Statement

An expression with a return type of that is terminated with a semicolon. A statement is the smallest unit that can be understood as a complete directive.

If a programmer wants to run a value-returning expression for its side-effects but will not use its return value, this value-returning expression can be turned into a ⊤-returning expression by passing it as the argument to the (⊤-returning, argument-value-discarding) method "Ignore:_".