sig
  val server_error_msg : exn -> string
  module type SERVERKIND =
    sig
      val async_eval : Galax_server_util.async_eval_sig
      val delay : float -> unit
      type http_request =
          Pervasives.in_channel * Pervasives.out_channel *
          Http.HTTP.http_method * Http.HTTP.header list * string option
      val http_tcp_server :
        bool ->
        (exn -> unit) ->
        (Galax_server.SERVERKIND.http_request -> unit) ->
        Unix.sockaddr -> unit
      val udp_server :
        bool -> (exn -> unit) -> (string -> unit) -> Unix.sockaddr -> unit
    end
  module type GALAXSERVER =
    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
  module Server : GALAXSERVER
  module DXQBuiltins :
    sig
      val add_symbol :
        Namespace_names.ncname ->
        int ->
        (Code_selection_context.code_selection_context -> Code_fn.bltin) ->
        unit
      val farg0 :
        Namespace_names.ncname ->
        (Code_selection_context.code_selection_context ->
         Execution_context.algebra_context ->
         Physical_value.item Cursor.cursor) ->
        unit
      val farg1 :
        Namespace_names.ncname ->
        (Code_selection_context.code_selection_context ->
         Execution_context.algebra_context ->
         Physical_value.item Cursor.cursor ->
         Physical_value.item Cursor.cursor) ->
        unit
      val farg2 :
        Namespace_names.ncname ->
        (Code_selection_context.code_selection_context ->
         Execution_context.algebra_context ->
         Physical_value.item Cursor.cursor *
         Physical_value.item Cursor.cursor ->
         Physical_value.item Cursor.cursor) ->
        unit
    end
end