Naming conventions

These are naming conventions for STELF code. This article should be considered an appendix to/chapter of the style guide.

Syntax

The uninhabited type

Defining an uninhabited type is important for reasoning from false - however, the name of that type varies from user to user, with void, false, and absurd perhaps being the most common.

Standard usage is to use void, and to freeze the type immediately after its introduction, like this:

%sort void %.
%freeze void %.