1 ConstDefs = Types +
2 constdefs nand :: gate
3 "nand A B == ~(A & B)"
4 exor :: gate
5 "exor A B == A & ~B | ~A & B"
6 end