Defines a list object composed of formula
s. The purpose of this
class of object is to impose structure of the list to ensure that it
can be used to obtain RHS-LHS pairs and will be able to be
parsed in domir
.
Defines a list object composed of formula
s. The purpose of this
class of object is to impose structure of the list to ensure that it
can be used to obtain RHS-LHS pairs and will be able to be
parsed in domir
.