Primitive E module for a kind of pmos gate.
We use this to implement vl2014::*vl-1-bit-pmos*.
Definition: *esim-pmos*
(defconst *esim-pmos* '(:n *esim-pmos* :x (:out ((|out| zif |ctrl| (z) |data|))) :i ((|data|) (|ctrl|)) :o ((|out|))))
