sig
  val sync : ('-> '-> '-> 'd) -> '-> '-> '-> 'Lwt.t
  type cookie =
      Set of Ocsigen_extensions.url_path option * float option * string *
        string * bool
    | Unset of Ocsigen_extensions.url_path option * string
  val cookie_table_of_eliom_cookies :
    ?oldtable:Ocsigen_http_frame.cookieset ->
    sp:Eliom_sessions.server_params ->
    Eliom_services.cookie list -> Ocsigen_http_frame.cookieset
  type result_to_send =
      EliomResult of Ocsigen_http_frame.result
    | EliomExn of (exn list * Eliom_services.cookie list)
  type suff = [ `WithSuffix | `WithoutSuffix ]
  type servcoserv = [ `Coservice | `Service ]
  type getpost = [ `Get | `Post ]
  type attached_service_kind =
      [ `External
      | `Internal of Eliom_services.servcoserv * Eliom_services.getpost ]
  type get_attached_service_kind =
      [ `External | `Internal of Eliom_services.servcoserv * [ `Get ] ]
  type post_attached_service_kind =
      [ `External | `Internal of Eliom_services.servcoserv * [ `Post ] ]
  type internal =
      [ `Internal of Eliom_services.servcoserv * Eliom_services.getpost ]
  type registrable = [ `Registrable | `Unregistrable ]
  type +'a a_s
  type +'a na_s
  type service_kind =
      [ `Attached of Eliom_services.attached_service_kind Eliom_services.a_s
      | `Nonattached of Eliom_services.getpost Eliom_services.na_s ]
  type get_service_kind =
      [ `Attached of
          Eliom_services.get_attached_service_kind Eliom_services.a_s
      | `Nonattached of [ `Get ] Eliom_services.na_s ]
  type post_service_kind =
      [ `Attached of
          Eliom_services.post_attached_service_kind Eliom_services.a_s
      | `Nonattached of [ `Post ] Eliom_services.na_s ]
  type internal_service_kind =
      [ `Attached of Eliom_services.internal Eliom_services.a_s
      | `Nonattached of Eliom_services.getpost Eliom_services.na_s ]
  type attached =
      [ `Attached of Eliom_services.attached_service_kind Eliom_services.a_s ]
  type nonattached =
      [ `Nonattached of Eliom_services.getpost Eliom_services.na_s ]
  type ('a, 'b, +'c, +'d, +'e, +'f, +'g) service
  val register_eliom_module : string -> (unit -> unit) -> unit
  val new_service :
    ?sp:Eliom_sessions.server_params ->
    ?https:bool ->
    path:Ocsigen_extensions.url_path ->
    get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
               Eliom_parameters.params_type ->
    unit ->
    ('a, unit,
     [> `Attached of
          [> `Internal of [> `Service ] * [> `Get ] ] Eliom_services.a_s ],
     'b, 'c, unit, [> `Registrable ])
    Eliom_services.service
  val new_external_service :
    prefix:string ->
    path:Ocsigen_extensions.url_path ->
    get_params:('a, [< Eliom_services.suff ] as 'b, 'c)
               Eliom_parameters.params_type ->
    post_params:('d, [ `WithoutSuffix ], 'e) Eliom_parameters.params_type ->
    unit ->
    ('a, 'd, [> `Attached of [> `External ] Eliom_services.a_s ], 'b, 'c, 'e,
     [> `Unregistrable ])
    Eliom_services.service
  val new_post_service :
    ?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 ->
    unit ->
    ('a, 'd,
     [> `Attached of
          [> `Internal of [ `Coservice | `Service ] * [> `Post ] ]
          Eliom_services.a_s ],
     'b, 'c, 'e, [> `Registrable ])
    Eliom_services.service
  val new_coservice :
    ?name:string ->
    ?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 ->
    unit ->
    ('a, unit,
     [> `Attached of
          [> `Internal of [> `Coservice ] * [> `Get ] ] Eliom_services.a_s ],
     [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
    Eliom_services.service
  val new_post_coservice :
    ?name:string ->
    ?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 ->
    unit ->
    ('a, 'd,
     [> `Attached of
          [> `Internal of [> `Coservice ] * [> `Post ] ] Eliom_services.a_s ],
     'b, 'c, 'e, [> `Registrable ])
    Eliom_services.service
  val new_coservice' :
    ?name:string ->
    ?max_use:int ->
    ?timeout:float ->
    ?https:bool ->
    get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
    unit ->
    ('a, unit, [> `Nonattached of [> `Get ] Eliom_services.na_s ],
     [ `WithoutSuffix ], 'b, unit, [> `Registrable ])
    Eliom_services.service
  val new_post_coservice' :
    ?name:string ->
    ?max_use:int ->
    ?timeout:float ->
    ?keep_get_na_params:bool ->
    ?https:bool ->
    post_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
    unit ->
    (unit, 'a, [> `Nonattached of [> `Post ] Eliom_services.na_s ],
     [ `WithoutSuffix ], unit, 'b, [> `Registrable ])
    Eliom_services.service
  val static_dir :
    sp:Eliom_sessions.server_params ->
    (string list, unit,
     [> `Attached of
          [> `Internal of [> `Service ] * [> `Get ] ] Eliom_services.a_s ],
     [ `WithSuffix ], [ `One of string list ] Eliom_parameters.param_name,
     unit, [> `Unregistrable ])
    Eliom_services.service
  val https_static_dir :
    sp:Eliom_sessions.server_params ->
    (string list, unit,
     [> `Attached of
          [> `Internal of [> `Service ] * [> `Get ] ] Eliom_services.a_s ],
     [ `WithSuffix ], [ `One of string list ] Eliom_parameters.param_name,
     unit, [> `Unregistrable ])
    Eliom_services.service
  val static_dir_with_params :
    sp:Eliom_sessions.server_params ->
    get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
    (string list * 'a, unit,
     [> `Attached of
          [> `Internal of [> `Service ] * [> `Get ] ] Eliom_services.a_s ],
     [ `WithSuffix ],
     [ `One of string list ] Eliom_parameters.param_name * 'b, unit,
     [> `Unregistrable ])
    Eliom_services.service
  val https_static_dir_with_params :
    sp:Eliom_sessions.server_params ->
    get_params:('a, [ `WithoutSuffix ], 'b) Eliom_parameters.params_type ->
    (string list * 'a, unit,
     [> `Attached of
          [> `Internal of [> `Service ] * [> `Get ] ] Eliom_services.a_s ],
     [ `WithSuffix ],
     [ `One of string list ] Eliom_parameters.param_name * 'b, unit,
     [> `Unregistrable ])
    Eliom_services.service
  val void_coservice' :
    (unit, unit, [> `Nonattached of 'Eliom_services.na_s ],
     [ `WithoutSuffix ], unit, unit, [> `Unregistrable ])
    Eliom_services.service
  val https_void_coservice' :
    (unit, unit, [> `Nonattached of 'Eliom_services.na_s ],
     [ `WithoutSuffix ], unit, unit, [> `Unregistrable ])
    Eliom_services.service
  val void_hidden_coservice' :
    (unit, unit, [> `Nonattached of 'Eliom_services.na_s ],
     [ `WithoutSuffix ], unit, unit, [> `Unregistrable ])
    Eliom_services.service
  val https_void_hidden_coservice' :
    (unit, unit, [> `Nonattached of 'Eliom_services.na_s ],
     [ `WithoutSuffix ], unit, unit, [> `Unregistrable ])
    Eliom_services.service
  val preapply :
    service:('a, 'b, [> `Attached of 'Eliom_services.a_s ] as 'c,
             [< Eliom_services.suff ], 'e, 'f, 'g)
            Eliom_services.service ->
    '->
    (unit, 'b, 'c, [ `WithoutSuffix ], unit, 'f, [> `Unregistrable ])
    Eliom_services.service
  val set_exn_handler :
    ?sp:Eliom_sessions.server_params ->
    (Eliom_sessions.server_params ->
     exn -> Eliom_services.result_to_send Lwt.t) ->
    unit
  val get_kind_ : ('a, 'b, 'c, 'd, 'e, 'f, 'g) Eliom_services.service -> 'c
  val get_pre_applied_parameters_ :
    ('a, 'b, 'c, 'd, 'e, 'f, 'g) Eliom_services.service ->
    (string * string) list
  val get_get_params_type_ :
    ('a, 'b, 'c, 'd, 'e, 'f, 'g) Eliom_services.service ->
    ('a, 'd, 'e) Eliom_parameters.params_type
  val get_post_params_type_ :
    ('a, 'b, 'c, 'd, 'e, 'f, 'g) Eliom_services.service ->
    ('b, [ `WithoutSuffix ], 'f) Eliom_parameters.params_type
  val get_att_kind_ : 'Eliom_services.a_s -> 'a
  val get_sub_path_ : 'Eliom_services.a_s -> Ocsigen_extensions.url_path
  val get_full_path_ : 'Eliom_services.a_s -> Ocsigen_extensions.url_path
  val get_prefix_ : 'Eliom_services.a_s -> string
  val get_get_name_ : 'Eliom_services.a_s -> Eliom_common.att_key
  val get_post_name_ : 'Eliom_services.a_s -> Eliom_common.att_key
  val get_na_name_ : 'Eliom_services.na_s -> Eliom_common.na_key
  val get_na_kind_ : 'Eliom_services.na_s -> [ `Get | `Post of bool ]
  val get_max_use_ :
    ('a, 'b, 'c, 'd, 'e, 'f, 'g) Eliom_services.service -> int option
  val get_timeout_ :
    ('a, 'b, 'c, 'd, 'e, 'f, 'g) Eliom_services.service -> float option
  val get_https : ('a, 'b, 'c, 'd, 'e, 'f, 'g) Eliom_services.service -> bool
  val erts_of_rst :
    Eliom_services.result_to_send -> Eliom_common.result_to_send
end