Basic constructor macro for phase-fsm-config structures.
(make-phase-fsm-config [:override-config <override-config>])
This is the usual way to construct phase-fsm-config structures. It simply conses together a structure with the specified fields.
This macro generates a new phase-fsm-config structure from scratch. See also change-phase-fsm-config, which can "change" an existing structure, instead.
This is an ordinary
Macro:
(defmacro make-phase-fsm-config (&rest args) (std::make-aggregate 'phase-fsm-config args '((:override-config)) 'make-phase-fsm-config nil))
Function:
(defun phase-fsm-config (override-config) (declare (xargs :guard (svtv-assigns-override-config-p override-config))) (declare (xargs :guard t)) (let ((__function__ 'phase-fsm-config)) (declare (ignorable __function__)) (b* ((override-config (mbe :logic (svtv-assigns-override-config-fix override-config) :exec override-config))) (list override-config))))