1234567891011121314151617181920212223242526typet=string(* Share the digest of the empty string *)letempty=Digest.string""letmakes=ifs=emptythenemptyelsesletcompare=compareletlength=16letto_binarys=sletof_binary_exns=assert(String.lengths=length);makesletunsafe_of_binary=makeletto_hex=Digest.to_hexletof_hex_exns=make(Digest.from_hexs)letstrings=make(Digest.strings)letbytess=make(Digest.bytess)letsubbytesbytes~pos~len=make(Digest.subbytesbytesposlen)