functor (ServerKind : SERVERKIND) ->
sig
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
end