functor
(
C
:
CIPHERS
)
->
Netsys_crypto_types
.
SYMMETRIC_CRYPTO