sig
  val dump_interactors : Format.formatter -> Wd_types.interactors -> unit
  class virtual dialog :
    Wd_types.universe_type ->
    string ->
    Wd_types.environment ->
    object
      method alist_variable :
        string ->
        (string * Wd_types.dialog_type Wd_types.poly_var_value) list
      method application : Wd_types.application_type
      method copy : Wd_types.dialog_type
      method declaration : Wd_types.dialog_decl_type
      method dialog_variable : string -> Wd_types.dialog_type option
      method dump : Format.formatter -> unit
      method dyn_enum_variable : string -> (string * string) list
      method enter_session_scope : Wd_types.session_type -> unit
      method enum_variable : string -> string list
      method environment : Wd_types.environment
      method event : Wd_types.event
      method virtual handle : unit -> unit
      method init : string -> unit
      method interactors : Wd_types.interactors
      method is_server_popup_request : bool
      method leave_session_scope : unit -> unit
      method lookup_dialog_variable :
        string -> string -> Wd_types.dialog_type option
      method lookup_dyn_enum_variable :
        string -> string -> (string * string) list
      method lookup_enum_variable : string -> string -> string list
      method lookup_string_variable : string -> string -> string
      method lookup_uploaded_file :
        string -> Netcgi_types.cgi_argument option
      method name : string
      method next_page : string
      method page_name : string
      method page_names : string list
      method virtual prepare_page : unit -> unit
      method private put_tree : string -> Wd_template.tree -> unit
      method serialize :
        (Wd_types.dialog_type, unit) Hashtbl.t -> Buffer.t -> unit
      method session : Wd_types.session_type
      method set_event : Wd_types.event -> unit
      method set_next_page : string -> unit
      method set_server_popup_request : unit -> unit
      method set_variable :
        string -> Wd_types.dialog_type Wd_types.poly_var_value -> unit
      method string_variable : string -> string
      method private t_apply :
        Wd_template.template ->
        (string * Wd_template.tree) list -> Wd_template.tree
      method private t_apply_byname :
        string -> (string * Wd_template.tree) list -> Wd_template.tree
      method private t_apply_lazily :
        string -> (string * Wd_template.tree) list -> Wd_template.tree
      method private t_concat :
        Wd_template.tree -> Wd_template.tree list -> Wd_template.tree
      method private t_empty : Wd_template.tree
      method private t_get : string -> Wd_template.template
      method private t_html : string -> Wd_template.tree
      method private t_text : string -> Wd_template.tree
      method private t_to_string : Wd_template.tree -> string
      method universe : Wd_types.universe_type
      method unserialize :
        (Wd_types.universe_type, Wd_types.dialog_type, Wd_types.environment)
        Wd_types.poly_ds_buf -> unit
      method unset_variable : string -> unit
      method variable :
        string -> Wd_types.dialog_type Wd_types.poly_var_value
      method variable_decl :
        string -> Wd_types.dialog_type Wd_types.poly_var_decl
    end
  class instant_session_manager : unit -> Wd_types.session_manager_type
  exception Invalid_session_checksum
  exception Session_not_found
  class database_session_manager :
    ?private_key:string ->
    ?enable_checksum:bool ->
    allocate:(unit -> int) ->
    insert:(int -> string -> unit) ->
    update:(int -> string -> string -> string -> unit) ->
    lookup:(int -> string -> string * string) ->
    unit -> Wd_types.session_manager_type
end