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