Primitive E module for a NAND gate.
We use this to implement vl2014::*vl-1-bit-nand*.
Definition: *esim-nand*
(defconst *esim-nand* '(:n *esim-nand* :x (:out ((|out| not (and |a| |b|)))) :i ((|a|) (|b|)) :o ((|out|))))
