		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.")))