(apply-comb-transform! aignet transform state) → (mv new-aignet new-state)
Function:
(defun apply-comb-transform! (aignet transform state) (declare (xargs :stobjs (aignet state))) (declare (xargs :guard t)) (let ((__function__ 'apply-comb-transform!)) (declare (ignorable __function__)) (mbe :logic (non-exec (apply-comb-transform aignet nil transform state)) :exec (b* (((local-stobjs aignet2) (mv aignet aignet2 state)) ((mv aignet2 state) (apply-comb-transform aignet aignet2 transform state)) ((mv aignet aignet2) (swap-stobjs aignet aignet2))) (mv aignet aignet2 state)))))