Create an empty strin-p structure.
(empty-strin) → *
This is very unlikely to be useful to you. It exists only because we need an abstract strin-p corresponding to the initial sin$c.
We just leave this enabled.
Function:
(defun empty-strin nil (declare (xargs :guard t)) (let ((__function__ 'empty-strin)) (declare (ignorable __function__)) (make-strin :chars nil :file "" :line 1 :col 0)))