Module type Galax_server.GALAXSERVER

module type GALAXSERVER = functor (ServerKind : SERVERKIND) -> sig .. end
Parameters:
ServerKind : SERVERKIND

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