F.Hash
fold_<T> state v
incorporates a value v
of type <T> into the hash-state, returning a modified hash-state. Implementations of the fold_<T>
functions may mutate the state
argument in place, and return a reference to it. Implementations of the fold_<T> functions should not allocate.
val alloc : unit -> state
alloc ()
returns a fresh uninitialized hash-state. May allocate.
reset ?seed state
initializes/resets a hash-state with the given seed
, or else a default-seed. Argument state
may be mutated. Should not allocate.
val get_hash_value : state -> hash_value
get_hash_value
extracts a hash-value from the hash-state.
module For_tests : sig ... end