List Decomposition Clarified
l
A defining equation:
l
[ F | R ] =
some list
l
can only be valid when the RHS list is non-empty.
l
Thus
l
[ F | R ] =
[ ] can
never
be a valid equation.
can
only be valid when the RHS list is non-empty.can
only be valid when the RHS list is non-empty.