with Rpc;
with Rpc_Server;
with Transport;
with Transport_Defs;
with Transport_Server;
with Transport_Stream;
with Float_Math_Lib_Defs;

package Float_Math_Lib_Server is

    procedure Serve (Connection : Transport.Connection_Id);

    package Server is new Transport_Server (Serve);

    Std : constant Server.Pool_Id :=
       Server.Create (Float_Math_Lib_Defs.Network, Float_Math_Lib_Defs.Socket);

    procedure Finalize (Abort_Servers : Boolean := False)
        renames Server.Finalize;

end Float_Math_Lib_Server;