val zero:hash_value
val zero:hash_value
let zero: hash_value = zero_vec #hash_size
module Zeta.Hash

open FStar.BitVector

(* size of a hash value *)
let hash_size = 256

(* hash value *)
type hash_value = bv_t hash_size
/
prims.fst.checked FStar.Pervasives.fsti.checked FStar.BitVector.fst.checked
Zeta.Hash.fsti
Zeta.Hash.hash_value
FStar.BitVector.zero_vec Zeta.Hash.hash_size
let zero:hash_value =
  
zero_vec #hash_size