Cryptokit.PaddingThe Padding module defines a generic interface for padding input data to an integral number of blocks, as well as two popular padding schemes.
class type scheme = object ... endGeneric interface of a padding scheme.
val length : schemeThis padding scheme pads data with n copies of the character having code n. The integer n lies between 1 and the block size (included). This constraint ensures non-ambiguity. This scheme is defined in RFC 2040 and in PKCS 5 and 7.
val _8000 : schemeThis padding scheme pads data with one 0x80 byte, followed by as many 0 bytes as needed to fill the block.