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