sig
  exception Wrong_scope
  type timeout = TGlobal | TNone | TSome of float
  type service_cookie_info
  type data_cookie_info
  type persistent_cookie_info
  type (+'a, +'b) state
  val volatile_data_group_state :
    ?scope:Eliom_common.session_group_scope ->
    string -> ([> `Session_group ], [> `Data ]) Eliom_state.Ext.state
  val persistent_data_group_state :
    ?scope:Eliom_common.session_group_scope ->
    string -> ([> `Session_group ], [> `Pers ]) Eliom_state.Ext.state
  val service_group_state :
    ?scope:Eliom_common.session_group_scope ->
    string -> ([> `Session_group ], [> `Service ]) Eliom_state.Ext.state
  val current_volatile_data_state :
    ?secure:bool ->
    ?scope:Eliom_common.user_scope ->
    unit -> ([< Eliom_common.user_level ], [< `Data ]) Eliom_state.Ext.state
  val current_persistent_data_state :
    ?secure:bool ->
    ?scope:Eliom_common.user_scope ->
    unit ->
    ([< Eliom_common.user_level ], [< `Pers ]) Eliom_state.Ext.state Lwt.t
  val current_service_state :
    ?secure:bool ->
    ?scope:Eliom_common.user_scope ->
    unit ->
    ([< Eliom_common.user_level ], [< `Service ]) Eliom_state.Ext.state
  val discard_state : state:('a, 'b) Eliom_state.Ext.state -> unit Lwt.t
  val fold_volatile_sub_states :
    ?sitedata:Eliom_common.sitedata ->
    state:([< `Session | `Session_group ], [< `Data | `Service ] as 'k)
          Eliom_state.Ext.state ->
    ('a -> ([< `Client_process | `Session ], 'k) Eliom_state.Ext.state -> 'a) ->
    'a -> 'a
  val iter_volatile_sub_states :
    ?sitedata:Eliom_common.sitedata ->
    state:([< `Session | `Session_group ], [< `Data | `Service ] as 'k)
          Eliom_state.Ext.state ->
    (([< `Client_process | `Session ], 'k) Eliom_state.Ext.state -> unit) ->
    unit
  val fold_sub_states :
    ?sitedata:Eliom_common.sitedata ->
    state:([< `Session | `Session_group ],
           [< `Data | `Pers | `Service ] as 'k)
          Eliom_state.Ext.state ->
    ('a ->
     ([< `Client_process | `Session ], 'k) Eliom_state.Ext.state -> 'a Lwt.t) ->
    'a -> 'a Lwt.t
  val iter_sub_states :
    ?sitedata:Eliom_common.sitedata ->
    state:([< `Session | `Session_group ], 'k) Eliom_state.Ext.state ->
    (([< `Client_process | `Session ], 'k) Eliom_state.Ext.state ->
     unit Lwt.t) ->
    unit Lwt.t
  module Low_level :
    sig
      val get_volatile_data :
        state:([< `Client_process | `Session | `Session_group ], [< `Data ])
              Eliom_state.Ext.state ->
        table:'a Eliom_state.volatile_table -> 'a
      val get_persistent_data :
        state:([< `Client_process | `Session | `Session_group ], [< `Pers ])
              Eliom_state.Ext.state ->
        table:'a Eliom_state.persistent_table -> 'a Lwt.t
      val set_volatile_data :
        state:([< `Client_process | `Session | `Session_group ], [< `Data ])
              Eliom_state.Ext.state ->
        table:'a Eliom_state.volatile_table -> 'a -> unit
      val set_persistent_data :
        state:([< `Client_process | `Session | `Session_group ], [< `Pers ])
              Eliom_state.Ext.state ->
        table:'a Eliom_state.persistent_table -> 'a -> unit Lwt.t
      val remove_volatile_data :
        state:([< `Client_process | `Session | `Session_group ], [< `Data ])
              Eliom_state.Ext.state ->
        table:'a Eliom_state.volatile_table -> unit
      val remove_persistent_data :
        state:([< `Client_process | `Session | `Session_group ], [< `Pers ])
              Eliom_state.Ext.state ->
        table:'a Eliom_state.persistent_table -> unit Lwt.t
    end
  val get_service_cookie_info :
    ([< Eliom_common.cookie_level ], [ `Service ]) Eliom_state.Ext.state ->
    Eliom_state.Ext.service_cookie_info
  val get_volatile_data_cookie_info :
    ([< Eliom_common.cookie_level ], [ `Data ]) Eliom_state.Ext.state ->
    Eliom_state.Ext.data_cookie_info
  val get_persistent_cookie_info :
    ([< Eliom_common.cookie_level ], [ `Pers ]) Eliom_state.Ext.state ->
    Eliom_state.Ext.persistent_cookie_info Lwt.t
  val get_service_cookie_scope :
    cookie:Eliom_state.Ext.service_cookie_info -> Eliom_common.user_scope
  val get_volatile_data_cookie_scope :
    cookie:Eliom_state.Ext.data_cookie_info -> Eliom_common.user_scope
  val get_persistent_data_cookie_scope :
    cookie:Eliom_state.Ext.persistent_cookie_info -> Eliom_common.user_scope
  val set_service_cookie_timeout :
    cookie:Eliom_state.Ext.service_cookie_info -> float option -> unit
  val set_volatile_data_cookie_timeout :
    cookie:Eliom_state.Ext.data_cookie_info -> float option -> unit
  val set_persistent_data_cookie_timeout :
    cookie:Eliom_state.Ext.persistent_cookie_info ->
    float option -> unit Lwt.t
  val get_service_cookie_timeout :
    cookie:Eliom_state.Ext.service_cookie_info -> Eliom_state.Ext.timeout
  val get_volatile_data_cookie_timeout :
    cookie:Eliom_state.Ext.data_cookie_info -> Eliom_state.Ext.timeout
  val get_persistent_data_cookie_timeout :
    cookie:Eliom_state.Ext.persistent_cookie_info -> Eliom_state.Ext.timeout
  val unset_service_cookie_timeout :
    cookie:Eliom_state.Ext.service_cookie_info -> unit
  val unset_volatile_data_cookie_timeout :
    cookie:Eliom_state.Ext.data_cookie_info -> unit
  val unset_persistent_data_cookie_timeout :
    cookie:Eliom_state.Ext.persistent_cookie_info -> unit Lwt.t
  val get_session_group_list : unit -> string list
  val iter_service_cookies :
    (Eliom_state.Ext.service_cookie_info -> unit Lwt.t) -> unit Lwt.t
  val iter_volatile_data_cookies :
    (Eliom_state.Ext.data_cookie_info -> unit Lwt.t) -> unit Lwt.t
  val iter_persistent_data_cookies :
    (Eliom_state.Ext.persistent_cookie_info -> unit Lwt.t) -> unit Lwt.t
  val fold_service_cookies :
    (Eliom_state.Ext.service_cookie_info -> 'b -> 'b Lwt.t) -> 'b -> 'b Lwt.t
  val fold_volatile_data_cookies :
    (Eliom_state.Ext.data_cookie_info -> 'b -> 'b Lwt.t) -> 'b -> 'b Lwt.t
  val fold_persistent_data_cookies :
    (Eliom_state.Ext.persistent_cookie_info -> 'b -> 'b Lwt.t) ->
    'b -> 'b Lwt.t
  val untype_state :
    ('a, 'b) Eliom_state.Ext.state -> ('c, 'd) Eliom_state.Ext.state
end