Default_parameters (tezos-protocol-013-PtJakart.Tezos_protocol_013_PtJakart_parameters.Default

val constants_mainnet : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Constants.parametric

val constants_sandbox : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Constants.parametric

val constants_test : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Constants.parametric

val test_commitments : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Commitment.t list lazy_t

val make_bootstrap_account : 
  (Tezos_crypto.Signature.V0.public_key_hash
   * Tezos_crypto.Signature.V0.public_key
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t) ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Parameters.bootstrap_account

val parameters_of_constants : 
  ?bootstrap_accounts:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Parameters.bootstrap_account
      list ->
  ?bootstrap_contracts:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Parameters.bootstrap_contract
      list ->
  ?commitments:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Commitment.t list ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Constants.parametric ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Parameters.t

val json_of_parameters : 
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Parameters.t ->
  Tezos_base.TzPervasives.Data_encoding.json