Inductive hashValue : Set := hashValueMake {
  hvAlgorithm : hashAlgorithm;
  hvValue     : string
}.
