(svtv-debug-set-ios &key (inputs 'nil) (outputs 'nil) (internals 'nil) (overrides 'nil) (moddb 'moddb) (aliases 'aliases) (debugdata 'debugdata) (rewrite 't)) → debugdata
Function:
(defun svtv-debug-set-ios-fn (inputs outputs internals overrides moddb aliases debugdata rewrite) (declare (xargs :stobjs (moddb aliases debugdata))) (declare (xargs :guard (and (true-list-listp inputs) (true-list-listp outputs) (true-list-listp internals) (true-list-listp overrides)))) (let ((__function__ 'svtv-debug-set-ios)) (declare (ignorable __function__)) (svtv-debug-set-ios-logic :ins inputs :outs outputs :internals internals :overrides overrides :rewrite rewrite)))