Vl-toolkit-other-command-default
- Signature
(vl-toolkit-other-command-default command args state) → state
- Arguments
- command — Guard (stringp command).
- args — Guard (string-listp args).
Definitions and Theorems
Function: vl-toolkit-other-command-default
(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)))
