Make.P
val dal_parameters : Mavryk_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.dal
val cryptobox : Mavryk_crypto_dal.Cryptobox.t Stdlib.Lazy.t