		Search-engine friendly clone of the ACL2 documentation.

Sidekick

Start

Start the ACL2 sidekick web server.

Signature
(start &key port) → *
Arguments: port — Guard (maybe-natp port).

Definitions and Theorems

Function: start-fn

(defun start-fn (port)
       (declare (xargs :guard (maybe-natp port)))
       (declare (ignorable port))
       (let ((__function__ 'start))
            (declare (ignorable __function__))
            (raise "Under the hood definition not installed.")))