Source file tezos_raw_protocol_013_PtJakart.ml

(* generated by dune *)

(** @canonical Tezos_raw_protocol_013_PtJakart.Alpha_context *)
module Alpha_context = Tezos_raw_protocol_013_PtJakart__Alpha_context

(** @canonical Tezos_raw_protocol_013_PtJakart.Alpha_services *)
module Alpha_services = Tezos_raw_protocol_013_PtJakart__Alpha_services

(** @canonical Tezos_raw_protocol_013_PtJakart.Amendment *)
module Amendment = Tezos_raw_protocol_013_PtJakart__Amendment

(** @canonical Tezos_raw_protocol_013_PtJakart.Apply *)
module Apply = Tezos_raw_protocol_013_PtJakart__Apply

(** @canonical Tezos_raw_protocol_013_PtJakart.Apply_results *)
module Apply_results = Tezos_raw_protocol_013_PtJakart__Apply_results

(** @canonical Tezos_raw_protocol_013_PtJakart.Baking *)
module Baking = Tezos_raw_protocol_013_PtJakart__Baking

(** @canonical Tezos_raw_protocol_013_PtJakart.Bitset *)
module Bitset = Tezos_raw_protocol_013_PtJakart__Bitset

(** @canonical Tezos_raw_protocol_013_PtJakart.Blinded_public_key_hash *)
module Blinded_public_key_hash = Tezos_raw_protocol_013_PtJakart__Blinded_public_key_hash

(** @canonical Tezos_raw_protocol_013_PtJakart.Block_header_repr *)
module Block_header_repr = Tezos_raw_protocol_013_PtJakart__Block_header_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Block_payload_hash *)
module Block_payload_hash = Tezos_raw_protocol_013_PtJakart__Block_payload_hash

(** @canonical Tezos_raw_protocol_013_PtJakart.Block_payload_repr *)
module Block_payload_repr = Tezos_raw_protocol_013_PtJakart__Block_payload_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Bond_id_repr *)
module Bond_id_repr = Tezos_raw_protocol_013_PtJakart__Bond_id_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Bootstrap_storage *)
module Bootstrap_storage = Tezos_raw_protocol_013_PtJakart__Bootstrap_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Cache_memory_helpers *)
module Cache_memory_helpers = Tezos_raw_protocol_013_PtJakart__Cache_memory_helpers

(** @canonical Tezos_raw_protocol_013_PtJakart.Cache_repr *)
module Cache_repr = Tezos_raw_protocol_013_PtJakart__Cache_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Carbonated_map *)
module Carbonated_map = Tezos_raw_protocol_013_PtJakart__Carbonated_map

(** @canonical Tezos_raw_protocol_013_PtJakart.Carbonated_map_costs *)
module Carbonated_map_costs = Tezos_raw_protocol_013_PtJakart__Carbonated_map_costs

(** @canonical Tezos_raw_protocol_013_PtJakart.Commitment_repr *)
module Commitment_repr = Tezos_raw_protocol_013_PtJakart__Commitment_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Commitment_storage *)
module Commitment_storage = Tezos_raw_protocol_013_PtJakart__Commitment_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Constants_repr *)
module Constants_repr = Tezos_raw_protocol_013_PtJakart__Constants_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Constants_services *)
module Constants_services = Tezos_raw_protocol_013_PtJakart__Constants_services

(** @canonical Tezos_raw_protocol_013_PtJakart.Constants_storage *)
module Constants_storage = Tezos_raw_protocol_013_PtJakart__Constants_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Contract_delegate_storage *)
module Contract_delegate_storage = Tezos_raw_protocol_013_PtJakart__Contract_delegate_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Contract_hash *)
module Contract_hash = Tezos_raw_protocol_013_PtJakart__Contract_hash

(** @canonical Tezos_raw_protocol_013_PtJakart.Contract_manager_storage *)
module Contract_manager_storage = Tezos_raw_protocol_013_PtJakart__Contract_manager_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Contract_repr *)
module Contract_repr = Tezos_raw_protocol_013_PtJakart__Contract_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Contract_services *)
module Contract_services = Tezos_raw_protocol_013_PtJakart__Contract_services

(** @canonical Tezos_raw_protocol_013_PtJakart.Contract_storage *)
module Contract_storage = Tezos_raw_protocol_013_PtJakart__Contract_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Cycle_repr *)
module Cycle_repr = Tezos_raw_protocol_013_PtJakart__Cycle_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Delegate_activation_storage *)
module Delegate_activation_storage = Tezos_raw_protocol_013_PtJakart__Delegate_activation_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Delegate_services *)
module Delegate_services = Tezos_raw_protocol_013_PtJakart__Delegate_services

(** @canonical Tezos_raw_protocol_013_PtJakart.Delegate_storage *)
module Delegate_storage = Tezos_raw_protocol_013_PtJakart__Delegate_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Dependent_bool *)
module Dependent_bool = Tezos_raw_protocol_013_PtJakart__Dependent_bool

(** @canonical Tezos_raw_protocol_013_PtJakart.Destination_repr *)
module Destination_repr = Tezos_raw_protocol_013_PtJakart__Destination_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Entrypoint_repr *)
module Entrypoint_repr = Tezos_raw_protocol_013_PtJakart__Entrypoint_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Fees_storage *)
module Fees_storage = Tezos_raw_protocol_013_PtJakart__Fees_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Fitness_repr *)
module Fitness_repr = Tezos_raw_protocol_013_PtJakart__Fitness_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Fixed_point_repr *)
module Fixed_point_repr = Tezos_raw_protocol_013_PtJakart__Fixed_point_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Frozen_deposits_storage *)
module Frozen_deposits_storage = Tezos_raw_protocol_013_PtJakart__Frozen_deposits_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Gas_comparable_input_size *)
module Gas_comparable_input_size = Tezos_raw_protocol_013_PtJakart__Gas_comparable_input_size

(** @canonical Tezos_raw_protocol_013_PtJakart.Gas_input_size *)
module Gas_input_size = Tezos_raw_protocol_013_PtJakart__Gas_input_size

(** @canonical Tezos_raw_protocol_013_PtJakart.Gas_limit_repr *)
module Gas_limit_repr = Tezos_raw_protocol_013_PtJakart__Gas_limit_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Gas_monad *)
module Gas_monad = Tezos_raw_protocol_013_PtJakart__Gas_monad

(** @canonical Tezos_raw_protocol_013_PtJakart.Global_constants_costs *)
module Global_constants_costs = Tezos_raw_protocol_013_PtJakart__Global_constants_costs

(** @canonical Tezos_raw_protocol_013_PtJakart.Global_constants_storage *)
module Global_constants_storage = Tezos_raw_protocol_013_PtJakart__Global_constants_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Indexable *)
module Indexable = Tezos_raw_protocol_013_PtJakart__Indexable

(** @canonical Tezos_raw_protocol_013_PtJakart.Init_storage *)
module Init_storage = Tezos_raw_protocol_013_PtJakart__Init_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Lazy_storage_diff *)
module Lazy_storage_diff = Tezos_raw_protocol_013_PtJakart__Lazy_storage_diff

(** @canonical Tezos_raw_protocol_013_PtJakart.Lazy_storage_kind *)
module Lazy_storage_kind = Tezos_raw_protocol_013_PtJakart__Lazy_storage_kind

(** @canonical Tezos_raw_protocol_013_PtJakart.Legacy_script_patches_for_J *)
module Legacy_script_patches_for_J = Tezos_raw_protocol_013_PtJakart__Legacy_script_patches_for_J

(** @canonical Tezos_raw_protocol_013_PtJakart.Level_repr *)
module Level_repr = Tezos_raw_protocol_013_PtJakart__Level_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Level_storage *)
module Level_storage = Tezos_raw_protocol_013_PtJakart__Level_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Liquidity_baking_cpmm *)
module Liquidity_baking_cpmm = Tezos_raw_protocol_013_PtJakart__Liquidity_baking_cpmm

(** @canonical Tezos_raw_protocol_013_PtJakart.Liquidity_baking_lqt *)
module Liquidity_baking_lqt = Tezos_raw_protocol_013_PtJakart__Liquidity_baking_lqt

(** @canonical Tezos_raw_protocol_013_PtJakart.Liquidity_baking_migration *)
module Liquidity_baking_migration = Tezos_raw_protocol_013_PtJakart__Liquidity_baking_migration

(** @canonical Tezos_raw_protocol_013_PtJakart.Liquidity_baking_repr *)
module Liquidity_baking_repr = Tezos_raw_protocol_013_PtJakart__Liquidity_baking_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Liquidity_baking_storage *)
module Liquidity_baking_storage = Tezos_raw_protocol_013_PtJakart__Liquidity_baking_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Local_gas_counter *)
module Local_gas_counter = Tezos_raw_protocol_013_PtJakart__Local_gas_counter

(** @canonical Tezos_raw_protocol_013_PtJakart.Main *)
module Main = Tezos_raw_protocol_013_PtJakart__Main

(** @canonical Tezos_raw_protocol_013_PtJakart.Manager_repr *)
module Manager_repr = Tezos_raw_protocol_013_PtJakart__Manager_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Merkle_list *)
module Merkle_list = Tezos_raw_protocol_013_PtJakart__Merkle_list

(** @canonical Tezos_raw_protocol_013_PtJakart.Michelson_v1_gas *)
module Michelson_v1_gas = Tezos_raw_protocol_013_PtJakart__Michelson_v1_gas

(** @canonical Tezos_raw_protocol_013_PtJakart.Michelson_v1_primitives *)
module Michelson_v1_primitives = Tezos_raw_protocol_013_PtJakart__Michelson_v1_primitives

(** @canonical Tezos_raw_protocol_013_PtJakart.Migration_repr *)
module Migration_repr = Tezos_raw_protocol_013_PtJakart__Migration_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Misc *)
module Misc = Tezos_raw_protocol_013_PtJakart__Misc

(** @canonical Tezos_raw_protocol_013_PtJakart.Non_empty_string *)
module Non_empty_string = Tezos_raw_protocol_013_PtJakart__Non_empty_string

(** @canonical Tezos_raw_protocol_013_PtJakart.Nonce_hash *)
module Nonce_hash = Tezos_raw_protocol_013_PtJakart__Nonce_hash

(** @canonical Tezos_raw_protocol_013_PtJakart.Nonce_storage *)
module Nonce_storage = Tezos_raw_protocol_013_PtJakart__Nonce_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Operation_repr *)
module Operation_repr = Tezos_raw_protocol_013_PtJakart__Operation_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Origination_nonce *)
module Origination_nonce = Tezos_raw_protocol_013_PtJakart__Origination_nonce

(** @canonical Tezos_raw_protocol_013_PtJakart.Parameters_repr *)
module Parameters_repr = Tezos_raw_protocol_013_PtJakart__Parameters_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Path_encoding *)
module Path_encoding = Tezos_raw_protocol_013_PtJakart__Path_encoding

(** @canonical Tezos_raw_protocol_013_PtJakart.Period_repr *)
module Period_repr = Tezos_raw_protocol_013_PtJakart__Period_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Raw_context *)
module Raw_context = Tezos_raw_protocol_013_PtJakart__Raw_context

(** @canonical Tezos_raw_protocol_013_PtJakart.Raw_context_intf *)
module Raw_context_intf = Tezos_raw_protocol_013_PtJakart__Raw_context_intf

(** @canonical Tezos_raw_protocol_013_PtJakart.Raw_level_repr *)
module Raw_level_repr = Tezos_raw_protocol_013_PtJakart__Raw_level_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Receipt_repr *)
module Receipt_repr = Tezos_raw_protocol_013_PtJakart__Receipt_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Round_repr *)
module Round_repr = Tezos_raw_protocol_013_PtJakart__Round_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Sampler *)
module Sampler = Tezos_raw_protocol_013_PtJakart__Sampler

(** @canonical Tezos_raw_protocol_013_PtJakart.Sapling_repr *)
module Sapling_repr = Tezos_raw_protocol_013_PtJakart__Sapling_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Sapling_services *)
module Sapling_services = Tezos_raw_protocol_013_PtJakart__Sapling_services

(** @canonical Tezos_raw_protocol_013_PtJakart.Sapling_storage *)
module Sapling_storage = Tezos_raw_protocol_013_PtJakart__Sapling_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Sapling_validator *)
module Sapling_validator = Tezos_raw_protocol_013_PtJakart__Sapling_validator

(** @canonical Tezos_raw_protocol_013_PtJakart.Saturation_repr *)
module Saturation_repr = Tezos_raw_protocol_013_PtJakart__Saturation_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_PVM_sem *)
module Sc_rollup_PVM_sem = Tezos_raw_protocol_013_PtJakart__Sc_rollup_PVM_sem

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_arith *)
module Sc_rollup_arith = Tezos_raw_protocol_013_PtJakart__Sc_rollup_arith

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_game *)
module Sc_rollup_game = Tezos_raw_protocol_013_PtJakart__Sc_rollup_game

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_inbox_repr *)
module Sc_rollup_inbox_repr = Tezos_raw_protocol_013_PtJakart__Sc_rollup_inbox_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_operations *)
module Sc_rollup_operations = Tezos_raw_protocol_013_PtJakart__Sc_rollup_operations

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_repr *)
module Sc_rollup_repr = Tezos_raw_protocol_013_PtJakart__Sc_rollup_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_storage *)
module Sc_rollup_storage = Tezos_raw_protocol_013_PtJakart__Sc_rollup_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollup_tick_repr *)
module Sc_rollup_tick_repr = Tezos_raw_protocol_013_PtJakart__Sc_rollup_tick_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Sc_rollups *)
module Sc_rollups = Tezos_raw_protocol_013_PtJakart__Sc_rollups

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_cache *)
module Script_cache = Tezos_raw_protocol_013_PtJakart__Script_cache

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_comparable *)
module Script_comparable = Tezos_raw_protocol_013_PtJakart__Script_comparable

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_expr_hash *)
module Script_expr_hash = Tezos_raw_protocol_013_PtJakart__Script_expr_hash

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_int_repr *)
module Script_int_repr = Tezos_raw_protocol_013_PtJakart__Script_int_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_interpreter *)
module Script_interpreter = Tezos_raw_protocol_013_PtJakart__Script_interpreter

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_interpreter_defs *)
module Script_interpreter_defs = Tezos_raw_protocol_013_PtJakart__Script_interpreter_defs

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_ir_annot *)
module Script_ir_annot = Tezos_raw_protocol_013_PtJakart__Script_ir_annot

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_ir_translator *)
module Script_ir_translator = Tezos_raw_protocol_013_PtJakart__Script_ir_translator

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_list *)
module Script_list = Tezos_raw_protocol_013_PtJakart__Script_list

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_map *)
module Script_map = Tezos_raw_protocol_013_PtJakart__Script_map

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_repr *)
module Script_repr = Tezos_raw_protocol_013_PtJakart__Script_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_set *)
module Script_set = Tezos_raw_protocol_013_PtJakart__Script_set

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_string_repr *)
module Script_string_repr = Tezos_raw_protocol_013_PtJakart__Script_string_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_tc_context *)
module Script_tc_context = Tezos_raw_protocol_013_PtJakart__Script_tc_context

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_tc_errors *)
module Script_tc_errors = Tezos_raw_protocol_013_PtJakart__Script_tc_errors

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_tc_errors_registration *)
module Script_tc_errors_registration = Tezos_raw_protocol_013_PtJakart__Script_tc_errors_registration

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_timestamp_repr *)
module Script_timestamp_repr = Tezos_raw_protocol_013_PtJakart__Script_timestamp_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_typed_ir *)
module Script_typed_ir = Tezos_raw_protocol_013_PtJakart__Script_typed_ir

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_typed_ir_size *)
module Script_typed_ir_size = Tezos_raw_protocol_013_PtJakart__Script_typed_ir_size

(** @canonical Tezos_raw_protocol_013_PtJakart.Script_typed_ir_size_costs *)
module Script_typed_ir_size_costs = Tezos_raw_protocol_013_PtJakart__Script_typed_ir_size_costs

(** @canonical Tezos_raw_protocol_013_PtJakart.Seed_repr *)
module Seed_repr = Tezos_raw_protocol_013_PtJakart__Seed_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Seed_storage *)
module Seed_storage = Tezos_raw_protocol_013_PtJakart__Seed_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Services_registration *)
module Services_registration = Tezos_raw_protocol_013_PtJakart__Services_registration

(** @canonical Tezos_raw_protocol_013_PtJakart.Skip_list_repr *)
module Skip_list_repr = Tezos_raw_protocol_013_PtJakart__Skip_list_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Slot_repr *)
module Slot_repr = Tezos_raw_protocol_013_PtJakart__Slot_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Stake_storage *)
module Stake_storage = Tezos_raw_protocol_013_PtJakart__Stake_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.State_hash *)
module State_hash = Tezos_raw_protocol_013_PtJakart__State_hash

(** @canonical Tezos_raw_protocol_013_PtJakart.Storage *)
module Storage = Tezos_raw_protocol_013_PtJakart__Storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Storage_costs *)
module Storage_costs = Tezos_raw_protocol_013_PtJakart__Storage_costs

(** @canonical Tezos_raw_protocol_013_PtJakart.Storage_description *)
module Storage_description = Tezos_raw_protocol_013_PtJakart__Storage_description

(** @canonical Tezos_raw_protocol_013_PtJakart.Storage_functors *)
module Storage_functors = Tezos_raw_protocol_013_PtJakart__Storage_functors

(** @canonical Tezos_raw_protocol_013_PtJakart.Storage_sigs *)
module Storage_sigs = Tezos_raw_protocol_013_PtJakart__Storage_sigs

(** @canonical Tezos_raw_protocol_013_PtJakart.Tez_repr *)
module Tez_repr = Tezos_raw_protocol_013_PtJakart__Tez_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_accounting *)
module Ticket_accounting = Tezos_raw_protocol_013_PtJakart__Ticket_accounting

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_balance_key *)
module Ticket_balance_key = Tezos_raw_protocol_013_PtJakart__Ticket_balance_key

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_balance_migration_for_j *)
module Ticket_balance_migration_for_j = Tezos_raw_protocol_013_PtJakart__Ticket_balance_migration_for_j

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_costs *)
module Ticket_costs = Tezos_raw_protocol_013_PtJakart__Ticket_costs

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_hash_builder *)
module Ticket_hash_builder = Tezos_raw_protocol_013_PtJakart__Ticket_hash_builder

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_hash_repr *)
module Ticket_hash_repr = Tezos_raw_protocol_013_PtJakart__Ticket_hash_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_lazy_storage_diff *)
module Ticket_lazy_storage_diff = Tezos_raw_protocol_013_PtJakart__Ticket_lazy_storage_diff

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_operations_diff *)
module Ticket_operations_diff = Tezos_raw_protocol_013_PtJakart__Ticket_operations_diff

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_scanner *)
module Ticket_scanner = Tezos_raw_protocol_013_PtJakart__Ticket_scanner

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_storage *)
module Ticket_storage = Tezos_raw_protocol_013_PtJakart__Ticket_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_token *)
module Ticket_token = Tezos_raw_protocol_013_PtJakart__Ticket_token

(** @canonical Tezos_raw_protocol_013_PtJakart.Ticket_token_map *)
module Ticket_token_map = Tezos_raw_protocol_013_PtJakart__Ticket_token_map

(** @canonical Tezos_raw_protocol_013_PtJakart.Time_repr *)
module Time_repr = Tezos_raw_protocol_013_PtJakart__Time_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Token *)
module Token = Tezos_raw_protocol_013_PtJakart__Token

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_commitment_repr *)
module Tx_rollup_commitment_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_commitment_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_commitment_storage *)
module Tx_rollup_commitment_storage = Tezos_raw_protocol_013_PtJakart__Tx_rollup_commitment_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_errors_repr *)
module Tx_rollup_errors_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_errors_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_gas *)
module Tx_rollup_gas = Tezos_raw_protocol_013_PtJakart__Tx_rollup_gas

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_hash_builder *)
module Tx_rollup_hash_builder = Tezos_raw_protocol_013_PtJakart__Tx_rollup_hash_builder

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_inbox_repr *)
module Tx_rollup_inbox_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_inbox_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_inbox_storage *)
module Tx_rollup_inbox_storage = Tezos_raw_protocol_013_PtJakart__Tx_rollup_inbox_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_address *)
module Tx_rollup_l2_address = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_address

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_apply *)
module Tx_rollup_l2_apply = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_apply

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_batch *)
module Tx_rollup_l2_batch = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_batch

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context *)
module Tx_rollup_l2_context = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_context

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context_hash *)
module Tx_rollup_l2_context_hash = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_context_hash

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_context_sig *)
module Tx_rollup_l2_context_sig = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_context_sig

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_proof *)
module Tx_rollup_l2_proof = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_proof

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_qty *)
module Tx_rollup_l2_qty = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_qty

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_storage_sig *)
module Tx_rollup_l2_storage_sig = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_storage_sig

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_l2_verifier *)
module Tx_rollup_l2_verifier = Tezos_raw_protocol_013_PtJakart__Tx_rollup_l2_verifier

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_level_repr *)
module Tx_rollup_level_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_level_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_message_hash_repr *)
module Tx_rollup_message_hash_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_message_hash_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_message_repr *)
module Tx_rollup_message_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_message_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_message_result_hash_repr *)
module Tx_rollup_message_result_hash_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_message_result_hash_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_message_result_repr *)
module Tx_rollup_message_result_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_message_result_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_parameters *)
module Tx_rollup_parameters = Tezos_raw_protocol_013_PtJakart__Tx_rollup_parameters

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_prefixes *)
module Tx_rollup_prefixes = Tezos_raw_protocol_013_PtJakart__Tx_rollup_prefixes

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_repr *)
module Tx_rollup_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_reveal_repr *)
module Tx_rollup_reveal_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_reveal_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_reveal_storage *)
module Tx_rollup_reveal_storage = Tezos_raw_protocol_013_PtJakart__Tx_rollup_reveal_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_services *)
module Tx_rollup_services = Tezos_raw_protocol_013_PtJakart__Tx_rollup_services

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_state_repr *)
module Tx_rollup_state_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_state_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_state_storage *)
module Tx_rollup_state_storage = Tezos_raw_protocol_013_PtJakart__Tx_rollup_state_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_storage *)
module Tx_rollup_storage = Tezos_raw_protocol_013_PtJakart__Tx_rollup_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_ticket *)
module Tx_rollup_ticket = Tezos_raw_protocol_013_PtJakart__Tx_rollup_ticket

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_withdraw_list_hash_repr *)
module Tx_rollup_withdraw_list_hash_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_withdraw_list_hash_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Tx_rollup_withdraw_repr *)
module Tx_rollup_withdraw_repr = Tezos_raw_protocol_013_PtJakart__Tx_rollup_withdraw_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Vote_repr *)
module Vote_repr = Tezos_raw_protocol_013_PtJakart__Vote_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Vote_storage *)
module Vote_storage = Tezos_raw_protocol_013_PtJakart__Vote_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Voting_period_repr *)
module Voting_period_repr = Tezos_raw_protocol_013_PtJakart__Voting_period_repr

(** @canonical Tezos_raw_protocol_013_PtJakart.Voting_period_storage *)
module Voting_period_storage = Tezos_raw_protocol_013_PtJakart__Voting_period_storage

(** @canonical Tezos_raw_protocol_013_PtJakart.Voting_services *)
module Voting_services = Tezos_raw_protocol_013_PtJakart__Voting_services