Module literal
l_group_formulas
The module containing everything about literals, in particular the struct Literal.
Literal
The smallest term (apart from the identity).