|
|
|---|
|
|
|
|---|
(faig-fix x) is the identity for FAIGs, but coerces atoms to
(faig-fix x) → *
This is sometimes when reasoning about FAIG operations, and, e.g., allows for permissive guards on faig-constructors, etc.
Function:
(defun faig-fix$inline (x) (declare (xargs :guard t)) (let ((__function__ 'faig-fix)) (declare (ignorable __function__)) (if (consp x) x (faig-x))))