Tezos_protocol_013_PtJakart_parameters (p.tezos-protocol-013-PtJakart.19.1.doc.tezos-protocol-013-PtJakart.parameters.Tezos_protocol_013_PtJakart

tezos-protocol-013-PtJakart
- README
- Library tezos-protocol-013-PtJakart.embedded-protocol
  - Tezos_embedded_protocol_013_PtJakart
- Library tezos-protocol-013-PtJakart.parameters
  - Tezos_protocol_013_PtJakart_parameters
    - Default_parameters
- Library tezos-protocol-013-PtJakart.protocol
  - Tezos_protocol_013_PtJakart
- Library tezos_protocol_013_PtJakart_lifted
  - Tezos_protocol_013_PtJakart_lifted
- Library tezos_protocol_environment_013_PtJakart
  - Tezos_protocol_environment_013_PtJakart
- Library tezos_raw_protocol_013_PtJakart
  - Tezos_raw_protocol_013_PtJakart
- Sources