Module lit
varisat
Literals and variables.
A boolean literal.
A boolean variable.
The backing type used to represent literals and variables.