object
  method add_enumeration : Wd_types.enum_decl -> unit
  method add_page : string -> Wd_types.syntax_tree_type -> unit
  method add_variable : Wd_types.dialog_type Wd_types.poly_var_decl -> unit
  method default_context : Wd_types.syntax_tree_type Wd_types.dict
  method enumeration : string -> Wd_types.enum_decl
  method language_variable : string option
  method name : string
  method page : string -> Wd_types.syntax_tree_type
  method page_is_declared_as_popup : string -> bool
  method page_names : string list
  method set_default_context :
    Wd_types.syntax_tree_type Wd_types.dict -> unit
  method set_language_variable : string -> unit
  method set_name : string -> unit
  method set_start_page : string -> unit
  method start_page : string
  method variable : string -> Wd_types.dialog_type Wd_types.poly_var_decl
  method variable_names : string list
end