Tezos_crypto.IntfsSourceThe signature of an abstract hash type, as produced by functor Make_Blake2B. The t type is abstracted for separating the various kinds of hashes in the system at typing time. Each type is equipped with functions to use it as is of as keys in the database or in memory sets and maps.
Module type for the prime fields GF(p)