neverType in std::types

The uninhabited type of computations that never complete normally.

Added in KCL 3.0.

never has no values and is a subtype of every type. Use it as the return type of a function that always stops evaluation by raising an error. A function declared to return never produces a type error if it returns a value or reaches the end of its body.