let is_weak = function
  | WeakHashes
  | InplaceHashes -> true
  | _ -> false
let is_weak =
function
| WeakHashes | InplaceHashes -> true
| _ -> false
HashingOptions.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked
HashingOptions.fst
HashingOptions.check_hashes_t Prims.bool
module HashingOptions

type check_hashes_t = | WeakHashes | StrongHashes | InplaceHashes
val is_weak : _: HashingOptions.check_hashes_t -> Prims.bool
_: HashingOptions.check_hashes_t -> Prims.bool