Map.Provide_hash
module Key : Base.Hasher.S with type t := Key.t
val hash_fold_t : (Base.Hash.state -> 'a -> Base.Hash.state) -> Base.Hash.state -> 'a t -> Base.Hash.state