Tezos_protocol_016_PtMumbai_parameters.Default_parametersSourceval constants_mainnet :
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Constants.Parametric.tval constants_sandbox :
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Constants.Parametric.tval constants_test :
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Constants.Parametric.tval test_commitments :
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Commitment.t list lazy_tval make_bootstrap_account :
(Tezos_crypto.Signature.public_key_hash
* Tezos_crypto.Signature.public_key
* Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Tez.t
* Tezos_crypto.Signature.public_key_hash option
* Tezos_crypto.Signature.public_key option) ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Parameters.bootstrap_accountval parameters_of_constants :
?bootstrap_accounts:
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Parameters.bootstrap_account
list ->
?bootstrap_contracts:
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Parameters.bootstrap_contract
list ->
?commitments:
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Commitment.t list ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Constants.Parametric.t ->
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Parameters.tval json_of_parameters :
Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Parameters.t ->
Tezos_base.TzPervasives.Data_encoding.json