signature LSP = sig val startServer : unit -> unit end