module type S =sig..end
用于哈希函数的签名,该函数从字符字符串、字节数组和文件生成长度为 hash_length 的摘要。
typet =string
摘要类型。
val hash_length : int摘要的长度(以字节为单位)。
val compare : t -> t -> int比较两个摘要,与 compare 的规范相同。
val equal : t -> t -> bool测试两个摘要是否相等。
val string : string -> t返回给定字符串的摘要。
val bytes : bytes -> t返回给定字节序列的摘要。
val substring : string -> int -> int -> tsubstring s ofs len 返回从索引 ofs 开始且包含 len 个字符的 s 的子字符串的摘要。
val subbytes : bytes -> int -> int -> tsubbytes s ofs len 返回从索引 ofs 开始且包含 len 个字节的 s 的子序列的摘要。
val channel : in_channel -> int -> t从通道读取字符并返回其摘要。有关完整规范,请参阅 Digest.channel。
val file : string -> t返回指定名称文件的摘要。
val output : out_channel -> t -> unit在给定的输出通道上写入摘要。
val input : in_channel -> t从给定的输入通道读取摘要。
val to_hex : t -> string返回给定摘要的可打印十六进制表示。
Invalid_argument,如果参数的长度不是 hash_length,val of_hex : string -> t将十六进制表示转换为相应的摘要。
Invalid_argument,如果参数的长度不是 2 * hash_length,或者如果参数包含非十六进制字符。