Rakiamodule By = Digestif_bymodule Bi = Digestif_bitype ba = Bi.ttype st = By.ttype ctx = By.tmodule MD5 : sig ... endmodule SHA1 : sig ... endmodule SHA224 : sig ... endmodule SHA256 : sig ... endmodule SHA384 : sig ... endmodule SHA512 : sig ... endmodule BLAKE2B : sig ... endmodule BLAKE2S : sig ... endmodule RMD160 : sig ... endmodule XOR : sig ... end