Formulate an algorithm that checks the totality constraint.
Formulate an algorithm that checks the totality constraint.

It takes into account the results shown in theorem 2.1. Of course, we
have already implemented the algorithm within the compiler, but now we
can refer to the spec for its correctness.

marcopennekamp/lore,marcopennekamp/lore