object
  method getBranch : string -> Mozilla.XPCOM.prefBranch
  method getDefaultBranch : string -> Mozilla.XPCOM.prefBranch
  method readUserPrefs : Mozilla.XPCOM.file -> unit
  method resetPrefs : unit -> unit
  method resetUserPrefs : unit -> unit
  method savePrefFile : Mozilla.XPCOM.file -> unit
end