		Search-engine friendly clone of the ACL2 documentation.

Vl-server

Start

Signature
(start &key port public-dir root-dir) → *
Arguments: port — Guard (maybe-natp port).; public-dir — Path to public/ directory.
Guard (maybe-stringp public-dir).; root-dir — Path to the data directory.
Guard (stringp root-dir).

Definitions and Theorems

Function: start-fn

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