Primitive E module for a (less conservative) mux.
We use this to implement vl2014::*vl-1-bit-mux*.
Definition: *esim-unsafe-mux*
(defconst *esim-unsafe-mux* '(:n *esim-unsafe-mux* :x (:out ((|out| ite |sel| |a| |b|))) :i ((|sel|) (|a|) (|b|)) :o ((|out|))))
