Create-ipasir$a
- Signature
(create-ipasir$a) → *
Definitions and Theorems
Function: create-ipasir$a
(defun create-ipasir$a nil
(declare (xargs :guard t))
(let ((__function__ 'create-ipasir$a))
(declare (ignorable __function__))
(make-ipasir$a :status :undef)))
