Start additional shells for running sub-processes (forks ACL2).
(tshell-start &optional (n '1)) → nil
We usually instead use tshell-ensure, which only starts up new bash processes if they aren't already running.
If you want to use this in a book, you can wrap it in a value-triple, e.g.,
This is essentially just
(defun tshell-start-fn (n) (declare (xargs :guard (posp n))) (declare (ignorable n)) (let ((__function__ 'tshell-start)) (declare (ignorable __function__)) (cw "Warning: under-the-hood definition of ~s0 not installed?" __function__)))