module S : sig ... endModule types for various block cipher modes of operation.
module AES : sig ... endmodule DES : sig ... endMirage_crypto.Cipher_blockBlock ciphers.
Each algorithm, and each mode of operation, is contained in its own separate module.