functor
  (R : Registration) (T : sig
                            type page
                            val translate :
                              Eliom_registration.Customize.page ->
                              R.page Lwt.t
                          end->
  sig
    val register :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      service:('get, 'post, [< Eliom_service.service_method ],
               [< Eliom_service.attached ],
               [< Eliom_service.internal_service_kind ],
               [< Eliom_service.suff ], 'gn, 'pn, [ `Registrable ], R.return)
              Eliom_service.service ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> 'post -> T.page Lwt.t) -> unit
    val register_service :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?https:bool ->
      ?priority:int ->
      path:Eliom_lib.Url.path ->
      get_params:('get, [< Eliom_service.suff ] as 'a, 'gn)
                 Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> unit -> T.page Lwt.t) ->
      ('get, unit, [< Eliom_service.service_method > `Get ],
       [< Eliom_service.attached > `Attached ],
       [< Eliom_service.service_kind > `Service ], 'a, 'gn, unit,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_coservice :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?https:bool ->
      fallback:(unit, unit, [ `Get ], Eliom_service.attached_kind,
                [ `Service ], [ `WithoutSuffix ], unit, unit,
                [< Eliom_service.registrable ], R.return)
               Eliom_service.service ->
      get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> unit -> T.page Lwt.t) ->
      ('get, unit, [< Eliom_service.service_method > `Get ],
       [< Eliom_service.attached > `Attached ],
       [< Eliom_service.service_kind > `AttachedCoservice ],
       [ `WithoutSuffix ], 'gn, unit,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_coservice' :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?https:bool ->
      get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> unit -> T.page Lwt.t) ->
      ('get, unit, [< Eliom_service.service_method > `Get ],
       [< Eliom_service.attached > `Nonattached ],
       [< Eliom_service.service_kind > `NonattachedCoservice ],
       [ `WithoutSuffix ], 'gn, unit,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_post_service :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?https:bool ->
      ?priority:int ->
      fallback:('get, unit, [ `Get ], Eliom_service.attached_kind,
                [ `AttachedCoservice | `Service ],
                [< Eliom_service.suff ] as 'a, 'gn, unit, [< `Registrable ],
                R.return)
               Eliom_service.service ->
      post_params:('post, [ `WithoutSuffix ], 'pn)
                  Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> 'post -> T.page Lwt.t) ->
      ('get, 'post, [< Eliom_service.service_method > `Post ],
       [< Eliom_service.attached > `Attached ],
       [ `AttachedCoservice | `Service ], 'a, 'gn, 'pn,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_post_coservice :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?https:bool ->
      fallback:('get, unit, [< `Get ], [< Eliom_service.attached_kind ],
                [< `AttachedCoservice | `Service ],
                [< Eliom_service.suff ] as 'a, 'gn, unit, [< `Registrable ],
                R.return)
               Eliom_service.service ->
      post_params:('post, [ `WithoutSuffix ], 'pn)
                  Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> 'post -> T.page Lwt.t) ->
      ('get, 'post, [< Eliom_service.service_method > `Post ],
       [< Eliom_service.attached > `Attached ],
       [< Eliom_service.service_kind > `AttachedCoservice ], 'a, 'gn, 'pn,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_post_coservice' :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?keep_get_na_params:bool ->
      ?https:bool ->
      post_params:('post, [ `WithoutSuffix ], 'pn)
                  Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      (unit -> 'post -> T.page Lwt.t) ->
      (unit, 'post, [< Eliom_service.service_method > `Post ],
       [< Eliom_service.attached > `Nonattached ],
       [< Eliom_service.service_kind > `NonattachedCoservice ],
       [ `WithoutSuffix ], unit, 'pn,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_put_service :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?https:bool ->
      ?priority:int ->
      path:Eliom_lib.Url.path ->
      get_params:('get, [< Eliom_service.suff ] as 'a, 'gn)
                 Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> Eliom_parameter.raw_post_data -> T.page Lwt.t) ->
      ('get, Eliom_parameter.raw_post_data,
       [< Eliom_service.service_method > `Put ],
       [< Eliom_service.attached > `Attached ],
       [< Eliom_service.service_kind > `Service ], 'a, 'gn,
       Eliom_parameter.no_param_name,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_put_coservice :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?https:bool ->
      fallback:(unit, Eliom_parameter.raw_post_data, [ `Put ],
                Eliom_service.attached_kind, [ `Service ],
                [ `WithoutSuffix ], unit, Eliom_parameter.no_param_name,
                [< Eliom_service.registrable ], R.return)
               Eliom_service.service ->
      get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> Eliom_parameter.raw_post_data -> T.page Lwt.t) ->
      ('get, Eliom_parameter.raw_post_data,
       [< Eliom_service.service_method > `Put ],
       [< Eliom_service.attached > `Attached ],
       [< Eliom_service.service_kind > `AttachedCoservice ],
       [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_put_coservice' :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?https:bool ->
      get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> Eliom_parameter.raw_post_data -> T.page Lwt.t) ->
      ('get, Eliom_parameter.raw_post_data,
       [< Eliom_service.service_method > `Put ],
       [< Eliom_service.attached > `Nonattached ],
       [< Eliom_service.service_kind > `NonattachedCoservice ],
       [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_delete_service :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?https:bool ->
      ?priority:int ->
      path:Eliom_lib.Url.path ->
      get_params:('get, [< Eliom_service.suff ] as 'a, 'gn)
                 Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> Eliom_parameter.raw_post_data -> T.page Lwt.t) ->
      ('get, Eliom_parameter.raw_post_data,
       [< Eliom_service.service_method > `Delete ],
       [< Eliom_service.attached > `Attached ],
       [< Eliom_service.service_kind > `Service ], 'a, 'gn,
       Eliom_parameter.no_param_name,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_delete_coservice :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?https:bool ->
      fallback:(unit, Eliom_parameter.raw_post_data, [ `Delete ],
                Eliom_service.attached_kind, [ `Service ],
                [ `WithoutSuffix ], unit, Eliom_parameter.no_param_name,
                [< Eliom_service.registrable ], R.return)
               Eliom_service.service ->
      get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> Eliom_parameter.raw_post_data -> T.page Lwt.t) ->
      ('get, Eliom_parameter.raw_post_data,
       [< Eliom_service.service_method > `Delete ],
       [< Eliom_service.attached > `Attached ],
       [< Eliom_service.service_kind > `AttachedCoservice ],
       [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val register_delete_coservice' :
      ?scope:[< Eliom_common.scope ] ->
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t ->
      ?secure_session:bool ->
      ?name:string ->
      ?csrf_safe:bool ->
      ?csrf_scope:[< Eliom_common.user_scope ] ->
      ?csrf_secure:bool ->
      ?max_use:int ->
      ?timeout:float ->
      ?https:bool ->
      get_params:('get, [ `WithoutSuffix ], 'gn) Eliom_parameter.params_type ->
      ?error_handler:((string * exn) list -> T.page Lwt.t) ->
      ('get -> Eliom_parameter.raw_post_data -> T.page Lwt.t) ->
      ('get, Eliom_parameter.raw_post_data,
       [< Eliom_service.service_method > `Delete ],
       [< Eliom_service.attached > `Nonattached ],
       [< Eliom_service.service_kind > `NonattachedCoservice ],
       [ `WithoutSuffix ], 'gn, Eliom_parameter.no_param_name,
       [< Eliom_service.registrable > `Registrable ], R.return)
      Eliom_service.service
    val send :
      ?options:R.options ->
      ?charset:string ->
      ?code:int ->
      ?content_type:string ->
      ?headers:Http_headers.t -> T.page -> R.result Lwt.t
  end