sig
  type page
  val send :
    ?cookies:Extensions.cookieslist ->
    ?charset:string ->
    ?code:int ->
    Eliom.server_params -> Eliom.ELIOMREGSIG1.page -> Eliommod.result_to_send
  val register :
    ?sp:Eliom.server_params ->
    service:('a, 'b, [< Eliom.internal_service_kind ], [< Eliom.suff ], 'c,
             'd, [ `Registrable ])
            Eliom.service ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> '-> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    unit
  val register_for_session :
    Eliom.server_params ->
    service:('a, 'b, [< Eliom.internal_service_kind ], [< Eliom.suff ], 'c,
             'd, [ `Registrable ])
            Eliom.service ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> '-> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    unit
  val register_new_service :
    ?sp:Eliom.server_params ->
    url:Eliom.url_path ->
    get_params:('a, [< Eliom.suff ] as 'b, 'c) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> unit -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, unit,
     [> `Attached of [> `Internal of [> `Service ] * [> `Get ] ] Eliom.a_s ],
     'b, 'c, unit Eliom.param_name, [> `Registrable ])
    Eliom.service
  val register_new_coservice :
    ?sp:Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    fallback:(unit, unit,
              [ `Attached of
                  [ `Internal of [ `Service ] * [ `Get ] ] Eliom.a_s ],
              [ `WithoutSuffix ], unit Eliom.param_name,
              unit Eliom.param_name, [< Eliom.registrable ])
             Eliom.service ->
    get_params:('a, [ `WithoutSuffix ], 'b) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> unit -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, unit,
     [> `Attached of [> `Internal of [> `Coservice ] * [> `Get ] ] Eliom.a_s ],
     [ `WithoutSuffix ], 'b, unit Eliom.param_name, [> `Registrable ])
    Eliom.service
  val register_new_coservice' :
    ?sp:Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    get_params:('a, [ `WithoutSuffix ], 'b) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> unit -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, unit, [> `Nonattached of [> `Get ] Eliom.na_s ], [ `WithoutSuffix ],
     'b, unit Eliom.param_name, [> `Registrable ])
    Eliom.service
  val register_new_coservice_for_session :
    Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    fallback:(unit, unit,
              [ `Attached of
                  [ `Internal of [ `Service ] * [ `Get ] ] Eliom.a_s ],
              [ `WithoutSuffix ], unit Eliom.param_name,
              unit Eliom.param_name, [< Eliom.registrable ])
             Eliom.service ->
    get_params:('a, [ `WithoutSuffix ], 'b) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> unit -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, unit,
     [> `Attached of [> `Internal of [> `Coservice ] * [> `Get ] ] Eliom.a_s ],
     [ `WithoutSuffix ], 'b, unit Eliom.param_name, [> `Registrable ])
    Eliom.service
  val register_new_coservice_for_session' :
    Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    get_params:('a, [ `WithoutSuffix ], 'b) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> unit -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, unit, [> `Nonattached of [> `Get ] Eliom.na_s ], [ `WithoutSuffix ],
     'b, unit Eliom.param_name, [> `Registrable ])
    Eliom.service
  val register_new_post_service :
    ?sp:Eliom.server_params ->
    fallback:('a, unit,
              [ `Attached of
                  [ `Internal of [ `Coservice | `Service ] * [ `Get ] ]
                  Eliom.a_s ],
              [< Eliom.suff ] as 'b, 'c, unit Eliom.param_name,
              [< `Registrable ])
             Eliom.service ->
    post_params:('d, [ `WithoutSuffix ], 'e) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> '-> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, 'd,
     [> `Attached of
          [> `Internal of [ `Coservice | `Service ] * [> `Post ] ] Eliom.a_s ],
     'b, 'c, 'e, [> `Registrable ])
    Eliom.service
  val register_new_post_coservice :
    ?sp:Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    fallback:('a, unit,
              [ `Attached of
                  [ `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                  Eliom.a_s ],
              [< Eliom.suff ] as 'b, 'c, unit Eliom.param_name,
              [< `Registrable ])
             Eliom.service ->
    post_params:('d, [ `WithoutSuffix ], 'e) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> '-> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, 'd,
     [> `Attached of [> `Internal of [> `Coservice ] * [> `Post ] ] Eliom.a_s ],
     'b, 'c, 'e, [> `Registrable ])
    Eliom.service
  val register_new_post_coservice' :
    ?sp:Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    post_params:('a, [ `WithoutSuffix ], 'b) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> unit -> '-> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (unit, 'a, [> `Nonattached of [> `Post ] Eliom.na_s ],
     [ `WithoutSuffix ], unit Eliom.param_name, 'b, [> `Registrable ])
    Eliom.service
  val register_new_post_coservice_for_session :
    Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    fallback:('a, unit,
              [< `Attached of
                   [< `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                   Eliom.a_s ],
              [< Eliom.suff ] as 'b, 'c, unit Eliom.param_name,
              [< `Registrable ])
             Eliom.service ->
    post_params:('d, [ `WithoutSuffix ], 'e) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> '-> '-> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    ('a, 'd,
     [> `Attached of [> `Internal of [> `Coservice ] * [> `Post ] ] Eliom.a_s ],
     'b, 'c, 'e, [> `Registrable ])
    Eliom.service
  val register_new_post_coservice_for_session' :
    Eliom.server_params ->
    ?max_use:int ->
    ?timeout:float ->
    post_params:('a, [ `WithoutSuffix ], 'b) Eliom.params_type ->
    ?error_handler:(Eliom.server_params ->
                    (string * exn) list -> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (Eliom.server_params -> unit -> '-> Eliom.ELIOMREGSIG1.page Lwt.t) ->
    (unit, 'a, [> `Nonattached of [> `Post ] Eliom.na_s ],
     [ `WithoutSuffix ], unit Eliom.param_name, 'b, [> `Registrable ])
    Eliom.service
end