class type prefService =object
..end
method readUserPrefs : file -> unit
method resetPrefs : unit -> unit
method resetUserPrefs : unit -> unit
method savePrefFile : file -> unit
method getBranch : string -> prefBranch
method getDefaultBranch : string -> prefBranch