Module Tezos_crypto_dal.Cryptobox_intfSource

Sourcemodule type COMMITMENT = sig ... end
Sourcemodule type VERIFIER = sig ... end