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