Make.SSourceGeneric interface for a datatype with comparison, pretty-printer and serialization functions.
Generic interface for a datatype with comparison, pretty-printer, serialization functions and a hashing function.
The signature of an abstract hash type, as produced by functor Make_SHA256. 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.