functor
(
SC
:
Netsys_crypto_types
.
SYMMETRIC_CRYPTO
)
->
Netsys_crypto_types
.
SYMMETRIC_CRYPTO