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