bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Lisp . Doc . Make . Machine . Id . Set . Provide_hash

Parameters

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

Signature

val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
val hash : t -> Base.Hash.hash_value