bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Machine . Main . M . Id . Map . Provide_hash

Parameters

module Key : Base.Hasher.S with type t := Key.t

Signature

val hash_fold_t : ( Base.Hash.state -> 'a -> Base.Hash.state ) -> Base.Hash.state -> 'a t -> Base.Hash.state