Module Galax_server.Server

module Server: GALAXSERVER 

val full_hostname : string

val short_hostname : string

val log_debug_name : unit -> string

val portmap : Galax_server_util.Sim.portmap

val init : bool -> string option -> int option -> Top_util.Graph.graph_edge list -> unit

val async_eval : Galax_server_util.async_eval_ext_sig

val interpret_hostport_string : Galax_server_util.interpret_hostport_sig

val evaluate_closure : Galax_server_util.evaluate_closure_sig

val evaluate_remote_query : Galax_server_util.evaluate_remote_query_sig

val start_server : string ->
       int ->
       Namespace_names.ncname * string * Galax.prepared_program -> string -> unit