Inductive HashT := Hash {
  hashAlgorithm : HashAlgorithmT;
  hashValue     : HashValueT
}.
