Inductive hashAlgorithm : Set :=
  | HA_SHA256
  .
