Relabelling #
It is convenient to be able to construct a CNF using a more complicated literal type,
but eventually we need to embed in Nat
.
It is convenient to be able to construct a CNF using a more complicated literal type,
but eventually we need to embed in Nat
.