Mavryk_crypto_dal.Cryptobox_intf
module type COMMITMENT = sig ... end
module type VERIFIER = sig ... end