Hasher.S1
type 'a t
val hash_fold_t : ( Hash.state -> 'a -> Hash.state ) -> Hash.state -> 'a t -> Hash.state