object
  method _get_PREF_BOOL : int
  method _get_PREF_INT : int
  method _get_PREF_STRING : int
  method addObserver : string -> Mozilla.XPCOM.observer -> bool -> unit
  method getBoolPref : string -> bool
  method getCharPref : string -> string
  method getIntPref : string -> int
  method getPrefType : string -> int
  method removeObserver : string -> Mozilla.XPCOM.observer -> unit
  method setBoolPref : string -> bool -> unit
  method setCharPref : string -> string -> unit
  method setIntPref : string -> int -> unit
end