Ocsigen

Reference manual

Version 1.3.0

Index

Lwt
Lwt API reference
Eliom
Main modules
Pages with Ocamlduce
XHTML pages typed with variants
Other pages
Creating new kinds of pages
Ocsigen

This is a preliminary version of the documentation. Help us to improve it by filling tickets. We are looking for native english speakers to proof read the documentation. Contact us!

sig
  module type REGCREATE =
    sig
      type page
      type options
      val send :
        ?options:Eliom_mkreg.REGCREATE.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        sp:Eliom_sessions.server_params ->
        Eliom_mkreg.REGCREATE.page -> Ocsigen_http_frame.result Lwt.t
    end
  module type ELIOMREGSIG1 =
    sig
      type page
      type options
      val send :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        sp:Eliom_sessions.server_params ->
        Eliom_mkreg.ELIOMREGSIG1.page -> Ocsigen_http_frame.result Lwt.t
      val register :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        service:('a, 'b, [< Eliom_services.internal_service_kind ],
                 [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                Eliom_services.service ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> 'b -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        unit
      val register_for_session :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        service:('a, 'b, [< Eliom_services.internal_service_kind ],
                 [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                Eliom_services.service ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> 'b -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        unit
      val register_new_service :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?https:bool ->
        path:Ocsigen_lib.url_path ->
        get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
                   Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> unit -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, unit,
         [> `Attached of
              [> `Internal of [> `Service ] * [> `Get ] ] Eliom_services.a_s ],
         'b, 'c, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:(unit, unit,
                  [ `Attached of
                      [ `Internal of [ `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [ `WithoutSuffix ], unit, unit,
                  [< Eliom_services.registrable ])
                 Eliom_services.service ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> unit -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, unit,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Get ] ]
              Eliom_services.a_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice' :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> unit -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice_for_session :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:(unit, unit,
                  [ `Attached of
                      [ `Internal of [ `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [ `WithoutSuffix ], unit, unit,
                  [< Eliom_services.registrable ])
                 Eliom_services.service ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> unit -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, unit,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Get ] ]
              Eliom_services.a_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice_for_session' :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> unit -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_post_service :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?https:bool ->
        fallback:('a, unit,
                  [ `Attached of
                      [ `Internal of [ `Coservice | `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [< Eliom_services.suff ] as 'b, 'c, unit,
                  [< `Registrable ])
                 Eliom_services.service ->
        post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> 'd -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, 'd,
         [> `Attached of
              [> `Internal of [ `Coservice | `Service ] * [> `Post ] ]
              Eliom_services.a_s ],
         'b, 'c, 'e, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:('a, unit,
                  [ `Attached of
                      [ `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [< Eliom_services.suff ] as 'b, 'c, unit,
                  [< `Registrable ])
                 Eliom_services.service ->
        post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> 'd -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, 'd,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Post ] ]
              Eliom_services.a_s ],
         'b, 'c, 'e, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice' :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?keep_get_na_params:bool ->
        ?https:bool ->
        post_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         unit -> 'a -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
         [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice_for_session :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:('a, unit,
                  [ `Attached of
                      [ `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [< Eliom_services.suff ] as 'b, 'c, unit, [ `Registrable ])
                 Eliom_services.service ->
        post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         'a -> 'd -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        ('a, 'd,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Post ] ]
              Eliom_services.a_s ],
         'b, 'c, 'e, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice_for_session' :
        ?options:Eliom_mkreg.ELIOMREGSIG1.options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?keep_get_na_params:bool ->
        ?https:bool ->
        post_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list ->
                        Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (Eliom_sessions.server_params ->
         unit -> 'a -> Eliom_mkreg.ELIOMREGSIG1.page Lwt.t) ->
        (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
         [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
        Eliom_services.service
    end
  module type ELIOMREGSIG =
    sig
      type page
      type options
      val send :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        sp:Eliom_sessions.server_params ->
        page -> Ocsigen_http_frame.result Lwt.t
      val register :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        service:('a, 'b, [< Eliom_services.internal_service_kind ],
                 [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                Eliom_services.service ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) -> unit
      val register_for_session :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        service:('a, 'b, [< Eliom_services.internal_service_kind ],
                 [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                Eliom_services.service ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) -> unit
      val register_new_service :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?https:bool ->
        path:Ocsigen_lib.url_path ->
        get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
                   Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
        ('a, unit,
         [> `Attached of
              [> `Internal of [> `Service ] * [> `Get ] ] Eliom_services.a_s ],
         'b, 'c, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:(unit, unit,
                  [ `Attached of
                      [ `Internal of [ `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [ `WithoutSuffix ], unit, unit,
                  [< Eliom_services.registrable ])
                 Eliom_services.service ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
        ('a, unit,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Get ] ]
              Eliom_services.a_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice' :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
        ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice_for_session :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:(unit, unit,
                  [ `Attached of
                      [ `Internal of [ `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [ `WithoutSuffix ], unit, unit,
                  [< Eliom_services.registrable ])
                 Eliom_services.service ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
        ('a, unit,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Get ] ]
              Eliom_services.a_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_coservice_for_session' :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
        ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
         [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
        Eliom_services.service
      val register_new_post_service :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?https:bool ->
        fallback:('a, unit,
                  [ `Attached of
                      [ `Internal of [ `Coservice | `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [< Eliom_services.suff ] as 'b, 'c, unit,
                  [< `Registrable ])
                 Eliom_services.service ->
        post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
        ('a, 'd,
         [> `Attached of
              [> `Internal of [ `Coservice | `Service ] * [> `Post ] ]
              Eliom_services.a_s ],
         'b, 'c, 'e, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:('a, unit,
                  [ `Attached of
                      [ `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [< Eliom_services.suff ] as 'b, 'c, unit,
                  [< `Registrable ])
                 Eliom_services.service ->
        post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
        ('a, 'd,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Post ] ]
              Eliom_services.a_s ],
         'b, 'c, 'e, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice' :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?csrf_session_name:string ->
        ?csrf_secure_session:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?keep_get_na_params:bool ->
        ?https:bool ->
        post_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
        (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
         [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice_for_session :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?https:bool ->
        fallback:('a, unit,
                  [ `Attached of
                      [ `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                      Eliom_services.a_s ],
                  [< Eliom_services.suff ] as 'b, 'c, unit, [ `Registrable ])
                 Eliom_services.service ->
        post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
        ('a, 'd,
         [> `Attached of
              [> `Internal of [> `Coservice ] * [> `Post ] ]
              Eliom_services.a_s ],
         'b, 'c, 'e, [> `Registrable ])
        Eliom_services.service
      val register_new_post_coservice_for_session' :
        ?options:options ->
        ?cookies:Eliom_services.cookie list ->
        ?charset:string ->
        ?code:int ->
        ?content_type:string ->
        ?headers:Http_headers.t ->
        ?session_name:string ->
        ?secure:bool ->
        sp:Eliom_sessions.server_params ->
        ?name:string ->
        ?csrf_safe:bool ->
        ?max_use:int ->
        ?timeout:float ->
        ?keep_get_na_params:bool ->
        ?https:bool ->
        post_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
        ?error_handler:(Eliom_sessions.server_params ->
                        (string * exn) list -> page Lwt.t) ->
        (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
        (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
         [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
        Eliom_services.service
      module Cookies :
        sig
          type page = page * Eliom_services.cookie list
          type options
          val send :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            sp:Eliom_sessions.server_params ->
            page -> Ocsigen_http_frame.result Lwt.t
          val register :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?sp:Eliom_sessions.server_params ->
            service:('a, 'b, [< Eliom_services.internal_service_kind ],
                     [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                    Eliom_services.service ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) -> unit
          val register_for_session :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?session_name:string ->
            ?secure:bool ->
            sp:Eliom_sessions.server_params ->
            service:('a, 'b, [< Eliom_services.internal_service_kind ],
                     [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                    Eliom_services.service ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) -> unit
          val register_new_service :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?sp:Eliom_sessions.server_params ->
            ?https:bool ->
            path:Ocsigen_lib.url_path ->
            get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
                       Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
            ('a, unit,
             [> `Attached of
                  [> `Internal of [> `Service ] * [> `Get ] ]
                  Eliom_services.a_s ],
             'b, 'c, unit, [> `Registrable ])
            Eliom_services.service
          val register_new_coservice :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?csrf_session_name:string ->
            ?csrf_secure_session:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?https:bool ->
            fallback:(unit, unit,
                      [ `Attached of
                          [ `Internal of [ `Service ] * [ `Get ] ]
                          Eliom_services.a_s ],
                      [ `WithoutSuffix ], unit, unit,
                      [< Eliom_services.registrable ])
                     Eliom_services.service ->
            get_params:('a, [ `WithoutSuffix ], 'b)
                       Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
            ('a, unit,
             [> `Attached of
                  [> `Internal of [> `Coservice ] * [> `Get ] ]
                  Eliom_services.a_s ],
             [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
            Eliom_services.service
          val register_new_coservice' :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?csrf_session_name:string ->
            ?csrf_secure_session:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?https:bool ->
            get_params:('a, [ `WithoutSuffix ], 'b)
                       Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
            ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
             [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
            Eliom_services.service
          val register_new_coservice_for_session :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?session_name:string ->
            ?secure:bool ->
            sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?https:bool ->
            fallback:(unit, unit,
                      [ `Attached of
                          [ `Internal of [ `Service ] * [ `Get ] ]
                          Eliom_services.a_s ],
                      [ `WithoutSuffix ], unit, unit,
                      [< Eliom_services.registrable ])
                     Eliom_services.service ->
            get_params:('a, [ `WithoutSuffix ], 'b)
                       Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
            ('a, unit,
             [> `Attached of
                  [> `Internal of [> `Coservice ] * [> `Get ] ]
                  Eliom_services.a_s ],
             [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
            Eliom_services.service
          val register_new_coservice_for_session' :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?session_name:string ->
            ?secure:bool ->
            sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?https:bool ->
            get_params:('a, [ `WithoutSuffix ], 'b)
                       Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
            ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
             [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
            Eliom_services.service
          val register_new_post_service :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?sp:Eliom_sessions.server_params ->
            ?https:bool ->
            fallback:('a, unit,
                      [ `Attached of
                          [ `Internal of [ `Coservice | `Service ] * [ `Get ] ]
                          Eliom_services.a_s ],
                      [< Eliom_services.suff ] as 'b, 'c, unit,
                      [< `Registrable ])
                     Eliom_services.service ->
            post_params:('d, [ `WithoutSuffix ], 'e)
                        Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
            ('a, 'd,
             [> `Attached of
                  [> `Internal of [ `Coservice | `Service ] * [> `Post ] ]
                  Eliom_services.a_s ],
             'b, 'c, 'e, [> `Registrable ])
            Eliom_services.service
          val register_new_post_coservice :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?csrf_session_name:string ->
            ?csrf_secure_session:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?https:bool ->
            fallback:('a, unit,
                      [ `Attached of
                          [ `Internal of
                              [< `Coservice | `Service ] * [ `Get ] ]
                          Eliom_services.a_s ],
                      [< Eliom_services.suff ] as 'b, 'c, unit,
                      [< `Registrable ])
                     Eliom_services.service ->
            post_params:('d, [ `WithoutSuffix ], 'e)
                        Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
            ('a, 'd,
             [> `Attached of
                  [> `Internal of [> `Coservice ] * [> `Post ] ]
                  Eliom_services.a_s ],
             'b, 'c, 'e, [> `Registrable ])
            Eliom_services.service
          val register_new_post_coservice' :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?csrf_session_name:string ->
            ?csrf_secure_session:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?keep_get_na_params:bool ->
            ?https:bool ->
            post_params:('a, [ `WithoutSuffix ], 'b)
                        Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
            (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
             [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
            Eliom_services.service
          val register_new_post_coservice_for_session :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?session_name:string ->
            ?secure:bool ->
            sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?https:bool ->
            fallback:('a, unit,
                      [ `Attached of
                          [ `Internal of
                              [< `Coservice | `Service ] * [ `Get ] ]
                          Eliom_services.a_s ],
                      [< Eliom_services.suff ] as 'b, 'c, unit,
                      [ `Registrable ])
                     Eliom_services.service ->
            post_params:('d, [ `WithoutSuffix ], 'e)
                        Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
            ('a, 'd,
             [> `Attached of
                  [> `Internal of [> `Coservice ] * [> `Post ] ]
                  Eliom_services.a_s ],
             'b, 'c, 'e, [> `Registrable ])
            Eliom_services.service
          val register_new_post_coservice_for_session' :
            ?options:options ->
            ?cookies:Eliom_services.cookie list ->
            ?charset:string ->
            ?code:int ->
            ?content_type:string ->
            ?headers:Http_headers.t ->
            ?session_name:string ->
            ?secure:bool ->
            sp:Eliom_sessions.server_params ->
            ?name:string ->
            ?csrf_safe:bool ->
            ?max_use:int ->
            ?timeout:float ->
            ?keep_get_na_params:bool ->
            ?https:bool ->
            post_params:('a, [ `WithoutSuffix ], 'b)
                        Eliom_parameters.params_type ->
            ?error_handler:(Eliom_sessions.server_params ->
                            (string * exn) list -> page Lwt.t) ->
            (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
            (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
             [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
            Eliom_services.service
        end
    end
  module MakeRegister :
    functor (Pages : REGCREATE) ->
      sig
        type page = Pages.page
        type options = Pages.options
        val send :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          sp:Eliom_sessions.server_params ->
          page -> Ocsigen_http_frame.result Lwt.t
        val register :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?sp:Eliom_sessions.server_params ->
          service:('a, 'b, [< Eliom_services.internal_service_kind ],
                   [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                  Eliom_services.service ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) -> unit
        val register_for_session :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?session_name:string ->
          ?secure:bool ->
          sp:Eliom_sessions.server_params ->
          service:('a, 'b, [< Eliom_services.internal_service_kind ],
                   [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                  Eliom_services.service ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) -> unit
        val register_new_service :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?sp:Eliom_sessions.server_params ->
          ?https:bool ->
          path:Ocsigen_lib.url_path ->
          get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
                     Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
          ('a, unit,
           [> `Attached of
                [> `Internal of [> `Service ] * [> `Get ] ]
                Eliom_services.a_s ],
           'b, 'c, unit, [> `Registrable ])
          Eliom_services.service
        val register_new_coservice :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?csrf_session_name:string ->
          ?csrf_secure_session:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?https:bool ->
          fallback:(unit, unit,
                    [ `Attached of
                        [ `Internal of [ `Service ] * [ `Get ] ]
                        Eliom_services.a_s ],
                    [ `WithoutSuffix ], unit, unit,
                    [< Eliom_services.registrable ])
                   Eliom_services.service ->
          get_params:('a, [ `WithoutSuffix ], 'b)
                     Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
          ('a, unit,
           [> `Attached of
                [> `Internal of [> `Coservice ] * [> `Get ] ]
                Eliom_services.a_s ],
           [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
          Eliom_services.service
        val register_new_coservice' :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?csrf_session_name:string ->
          ?csrf_secure_session:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?https:bool ->
          get_params:('a, [ `WithoutSuffix ], 'b)
                     Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
          ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
           [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
          Eliom_services.service
        val register_new_coservice_for_session :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?session_name:string ->
          ?secure:bool ->
          sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?https:bool ->
          fallback:(unit, unit,
                    [ `Attached of
                        [ `Internal of [ `Service ] * [ `Get ] ]
                        Eliom_services.a_s ],
                    [ `WithoutSuffix ], unit, unit,
                    [< Eliom_services.registrable ])
                   Eliom_services.service ->
          get_params:('a, [ `WithoutSuffix ], 'b)
                     Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
          ('a, unit,
           [> `Attached of
                [> `Internal of [> `Coservice ] * [> `Get ] ]
                Eliom_services.a_s ],
           [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
          Eliom_services.service
        val register_new_coservice_for_session' :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?session_name:string ->
          ?secure:bool ->
          sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?https:bool ->
          get_params:('a, [ `WithoutSuffix ], 'b)
                     Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
          ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
           [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
          Eliom_services.service
        val register_new_post_service :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?sp:Eliom_sessions.server_params ->
          ?https:bool ->
          fallback:('a, unit,
                    [ `Attached of
                        [ `Internal of [ `Coservice | `Service ] * [ `Get ] ]
                        Eliom_services.a_s ],
                    [< Eliom_services.suff ] as 'b, 'c, unit,
                    [< `Registrable ])
                   Eliom_services.service ->
          post_params:('d, [ `WithoutSuffix ], 'e)
                      Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
          ('a, 'd,
           [> `Attached of
                [> `Internal of [ `Coservice | `Service ] * [> `Post ] ]
                Eliom_services.a_s ],
           'b, 'c, 'e, [> `Registrable ])
          Eliom_services.service
        val register_new_post_coservice :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?csrf_session_name:string ->
          ?csrf_secure_session:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?https:bool ->
          fallback:('a, unit,
                    [ `Attached of
                        [ `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                        Eliom_services.a_s ],
                    [< Eliom_services.suff ] as 'b, 'c, unit,
                    [< `Registrable ])
                   Eliom_services.service ->
          post_params:('d, [ `WithoutSuffix ], 'e)
                      Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
          ('a, 'd,
           [> `Attached of
                [> `Internal of [> `Coservice ] * [> `Post ] ]
                Eliom_services.a_s ],
           'b, 'c, 'e, [> `Registrable ])
          Eliom_services.service
        val register_new_post_coservice' :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?csrf_session_name:string ->
          ?csrf_secure_session:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?keep_get_na_params:bool ->
          ?https:bool ->
          post_params:('a, [ `WithoutSuffix ], 'b)
                      Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
          (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
           [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
          Eliom_services.service
        val register_new_post_coservice_for_session :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?session_name:string ->
          ?secure:bool ->
          sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?https:bool ->
          fallback:('a, unit,
                    [ `Attached of
                        [ `Internal of [< `Coservice | `Service ] * [ `Get ] ]
                        Eliom_services.a_s ],
                    [< Eliom_services.suff ] as 'b, 'c, unit,
                    [ `Registrable ])
                   Eliom_services.service ->
          post_params:('d, [ `WithoutSuffix ], 'e)
                      Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
          ('a, 'd,
           [> `Attached of
                [> `Internal of [> `Coservice ] * [> `Post ] ]
                Eliom_services.a_s ],
           'b, 'c, 'e, [> `Registrable ])
          Eliom_services.service
        val register_new_post_coservice_for_session' :
          ?options:options ->
          ?cookies:Eliom_services.cookie list ->
          ?charset:string ->
          ?code:int ->
          ?content_type:string ->
          ?headers:Http_headers.t ->
          ?session_name:string ->
          ?secure:bool ->
          sp:Eliom_sessions.server_params ->
          ?name:string ->
          ?csrf_safe:bool ->
          ?max_use:int ->
          ?timeout:float ->
          ?keep_get_na_params:bool ->
          ?https:bool ->
          post_params:('a, [ `WithoutSuffix ], 'b)
                      Eliom_parameters.params_type ->
          ?error_handler:(Eliom_sessions.server_params ->
                          (string * exn) list -> page Lwt.t) ->
          (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
          (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
           [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
          Eliom_services.service
        module Cookies :
          sig
            type page = page * Eliom_services.cookie list
            type options
            val send :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              sp:Eliom_sessions.server_params ->
              page -> Ocsigen_http_frame.result Lwt.t
            val register :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?sp:Eliom_sessions.server_params ->
              service:('a, 'b, [< Eliom_services.internal_service_kind ],
                       [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                      Eliom_services.service ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) ->
              unit
            val register_for_session :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?session_name:string ->
              ?secure:bool ->
              sp:Eliom_sessions.server_params ->
              service:('a, 'b, [< Eliom_services.internal_service_kind ],
                       [< Eliom_services.suff ], 'c, 'd, [ `Registrable ])
                      Eliom_services.service ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> 'b -> page Lwt.t) ->
              unit
            val register_new_service :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?sp:Eliom_sessions.server_params ->
              ?https:bool ->
              path:Ocsigen_lib.url_path ->
              get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
                         Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
              ('a, unit,
               [> `Attached of
                    [> `Internal of [> `Service ] * [> `Get ] ]
                    Eliom_services.a_s ],
               'b, 'c, unit, [> `Registrable ])
              Eliom_services.service
            val register_new_coservice :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?csrf_session_name:string ->
              ?csrf_secure_session:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?https:bool ->
              fallback:(unit, unit,
                        [ `Attached of
                            [ `Internal of [ `Service ] * [ `Get ] ]
                            Eliom_services.a_s ],
                        [ `WithoutSuffix ], unit, unit,
                        [< Eliom_services.registrable ])
                       Eliom_services.service ->
              get_params:('a, [ `WithoutSuffix ], 'b)
                         Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
              ('a, unit,
               [> `Attached of
                    [> `Internal of [> `Coservice ] * [> `Get ] ]
                    Eliom_services.a_s ],
               [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
              Eliom_services.service
            val register_new_coservice' :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?csrf_session_name:string ->
              ?csrf_secure_session:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?https:bool ->
              get_params:('a, [ `WithoutSuffix ], 'b)
                         Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
              ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
               [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
              Eliom_services.service
            val register_new_coservice_for_session :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?session_name:string ->
              ?secure:bool ->
              sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?https:bool ->
              fallback:(unit, unit,
                        [ `Attached of
                            [ `Internal of [ `Service ] * [ `Get ] ]
                            Eliom_services.a_s ],
                        [ `WithoutSuffix ], unit, unit,
                        [< Eliom_services.registrable ])
                       Eliom_services.service ->
              get_params:('a, [ `WithoutSuffix ], 'b)
                         Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
              ('a, unit,
               [> `Attached of
                    [> `Internal of [> `Coservice ] * [> `Get ] ]
                    Eliom_services.a_s ],
               [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
              Eliom_services.service
            val register_new_coservice_for_session' :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?session_name:string ->
              ?secure:bool ->
              sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?https:bool ->
              get_params:('a, [ `WithoutSuffix ], 'b)
                         Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> unit -> page Lwt.t) ->
              ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
               [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
              Eliom_services.service
            val register_new_post_service :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?sp:Eliom_sessions.server_params ->
              ?https:bool ->
              fallback:('a, unit,
                        [ `Attached of
                            [ `Internal of
                                [ `Coservice | `Service ] * [ `Get ] ]
                            Eliom_services.a_s ],
                        [< Eliom_services.suff ] as 'b, 'c, unit,
                        [< `Registrable ])
                       Eliom_services.service ->
              post_params:('d, [ `WithoutSuffix ], 'e)
                          Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
              ('a, 'd,
               [> `Attached of
                    [> `Internal of [ `Coservice | `Service ] * [> `Post ] ]
                    Eliom_services.a_s ],
               'b, 'c, 'e, [> `Registrable ])
              Eliom_services.service
            val register_new_post_coservice :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?csrf_session_name:string ->
              ?csrf_secure_session:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?https:bool ->
              fallback:('a, unit,
                        [ `Attached of
                            [ `Internal of
                                [< `Coservice | `Service ] * [ `Get ] ]
                            Eliom_services.a_s ],
                        [< Eliom_services.suff ] as 'b, 'c, unit,
                        [< `Registrable ])
                       Eliom_services.service ->
              post_params:('d, [ `WithoutSuffix ], 'e)
                          Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
              ('a, 'd,
               [> `Attached of
                    [> `Internal of [> `Coservice ] * [> `Post ] ]
                    Eliom_services.a_s ],
               'b, 'c, 'e, [> `Registrable ])
              Eliom_services.service
            val register_new_post_coservice' :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?csrf_session_name:string ->
              ?csrf_secure_session:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?keep_get_na_params:bool ->
              ?https:bool ->
              post_params:('a, [ `WithoutSuffix ], 'b)
                          Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
              (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
               [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
              Eliom_services.service
            val register_new_post_coservice_for_session :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?session_name:string ->
              ?secure:bool ->
              sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?https:bool ->
              fallback:('a, unit,
                        [ `Attached of
                            [ `Internal of
                                [< `Coservice | `Service ] * [ `Get ] ]
                            Eliom_services.a_s ],
                        [< Eliom_services.suff ] as 'b, 'c, unit,
                        [ `Registrable ])
                       Eliom_services.service ->
              post_params:('d, [ `WithoutSuffix ], 'e)
                          Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> 'a -> 'd -> page Lwt.t) ->
              ('a, 'd,
               [> `Attached of
                    [> `Internal of [> `Coservice ] * [> `Post ] ]
                    Eliom_services.a_s ],
               'b, 'c, 'e, [> `Registrable ])
              Eliom_services.service
            val register_new_post_coservice_for_session' :
              ?options:options ->
              ?cookies:Eliom_services.cookie list ->
              ?charset:string ->
              ?code:int ->
              ?content_type:string ->
              ?headers:Http_headers.t ->
              ?session_name:string ->
              ?secure:bool ->
              sp:Eliom_sessions.server_params ->
              ?name:string ->
              ?csrf_safe:bool ->
              ?max_use:int ->
              ?timeout:float ->
              ?keep_get_na_params:bool ->
              ?https:bool ->
              post_params:('a, [ `WithoutSuffix ], 'b)
                          Eliom_parameters.params_type ->
              ?error_handler:(Eliom_sessions.server_params ->
                              (string * exn) list -> page Lwt.t) ->
              (Eliom_sessions.server_params -> unit -> 'a -> page Lwt.t) ->
              (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
               [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
              Eliom_services.service
          end
      end
end