sig
  type result = Okay of (string * string) | Bogus of string
  val basic : Restful.Auth.scheme -> string -> Restful.Auth.Cred.result
  val digest : 'a -> 'b -> 'c
end