Tezos_crypto.SThe 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 MINIMAL_HASH = sig ... endmodule type RAW_DATA = sig ... endmodule type B58_DATA = sig ... endmodule type ENCODER = sig ... endmodule type PVSS = sig ... endmodule type INDEXES = sig ... endmodule type HASH = sig ... endmodule type MERKLE_TREE = sig ... endmodule type SIGNATURE = sig ... endmodule type FIELD = sig ... endmodule type PRIME_FIELD = sig ... endModule type for the prime fields GF(p)
module type CURVE = sig ... endmodule type PAIRING = sig ... end