Hash.F
type state = Hash.state
type seed = Hash.seed
val alloc : unit -> state
type hash_value = Hash.hash_value
val get_hash_value : state -> hash_value
module For_tests : sig ... end
val of_fold : (state -> 'a -> state) -> 'a -> hash_value
module Builtin : sig ... end
val run : ?seed:seed -> 'a folder -> 'a -> hash_value