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