Module Conex_nocrypto

module Conex_nocrypto: sig .. end
Crypto provided by the nocrypto package

module C: sig .. end
module V: sig .. end
module NC_S: Conex_crypto.SIGN 
module NC_V: Conex_crypto.VERIFY