module DES: sig .. end
sig
end
module ECB: Nocrypto.Cipher_block.S.ECB
Nocrypto.Cipher_block.S.ECB
module CBC: Nocrypto.Cipher_block.S.CBC
Nocrypto.Cipher_block.S.CBC
module CTR: Nocrypto.Cipher_block.S.CTR
Nocrypto.Cipher_block.S.CTR