val hash_size : Prims.int
let hash_size = 256
module Zeta.Hash

open FStar.BitVector
/
prims.fst.checked FStar.Pervasives.fsti.checked FStar.BitVector.fst.checked
Zeta.Hash.fsti
Prims.int
let hash_size =
  
256