(vl-toolkit-other-command-default command args state) → state
Function:
(defun vl-toolkit-other-command-default (command args state) (declare (xargs :stobjs (state))) (declare (xargs :guard (and (stringp command) (string-listp args)))) (let ((__function__ 'vl-toolkit-other-command-default)) (declare (ignorable __function__)) (progn$ (die "Unknown command ~s0.~%" command) state)))