Hacl.Hashmodule type HASH_ALG = sig ... endmodule type DIRECT_HASH = sig ... endmodule type INCREMENTAL_HASH = sig ... endmodule type S = sig ... endmodule SHA256 : sig ... endmodule SHA512 : sig ... endmodule SHA3_256 : sig ... endmodule SHA3_512 : sig ... endmodule Keccak_256 : sig ... end