Source file tezos_raw_protocol_015_PtLimaPt.ml

(* generated by dune *)

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Alpha_context *)
module Alpha_context = Tezos_raw_protocol_015_PtLimaPt__Alpha_context

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Alpha_services *)
module Alpha_services = Tezos_raw_protocol_015_PtLimaPt__Alpha_services

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Amendment *)
module Amendment = Tezos_raw_protocol_015_PtLimaPt__Amendment

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Apply *)
module Apply = Tezos_raw_protocol_015_PtLimaPt__Apply

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Apply_internal_results *)
module Apply_internal_results = Tezos_raw_protocol_015_PtLimaPt__Apply_internal_results

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Apply_operation_result *)
module Apply_operation_result = Tezos_raw_protocol_015_PtLimaPt__Apply_operation_result

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Apply_results *)
module Apply_results = Tezos_raw_protocol_015_PtLimaPt__Apply_results

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Baking *)
module Baking = Tezos_raw_protocol_015_PtLimaPt__Baking

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Bitset *)
module Bitset = Tezos_raw_protocol_015_PtLimaPt__Bitset

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Blinded_public_key_hash *)
module Blinded_public_key_hash = Tezos_raw_protocol_015_PtLimaPt__Blinded_public_key_hash

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Block_header_repr *)
module Block_header_repr = Tezos_raw_protocol_015_PtLimaPt__Block_header_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Block_payload_hash *)
module Block_payload_hash = Tezos_raw_protocol_015_PtLimaPt__Block_payload_hash

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Block_payload_repr *)
module Block_payload_repr = Tezos_raw_protocol_015_PtLimaPt__Block_payload_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Bond_id_repr *)
module Bond_id_repr = Tezos_raw_protocol_015_PtLimaPt__Bond_id_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Bootstrap_storage *)
module Bootstrap_storage = Tezos_raw_protocol_015_PtLimaPt__Bootstrap_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Bounded_history_repr *)
module Bounded_history_repr = Tezos_raw_protocol_015_PtLimaPt__Bounded_history_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Cache_memory_helpers *)
module Cache_memory_helpers = Tezos_raw_protocol_015_PtLimaPt__Cache_memory_helpers

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Cache_repr *)
module Cache_repr = Tezos_raw_protocol_015_PtLimaPt__Cache_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Carbonated_map *)
module Carbonated_map = Tezos_raw_protocol_015_PtLimaPt__Carbonated_map

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Carbonated_map_costs *)
module Carbonated_map_costs = Tezos_raw_protocol_015_PtLimaPt__Carbonated_map_costs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Commitment_repr *)
module Commitment_repr = Tezos_raw_protocol_015_PtLimaPt__Commitment_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Commitment_storage *)
module Commitment_storage = Tezos_raw_protocol_015_PtLimaPt__Commitment_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Constants_parametric_previous_repr *)
module Constants_parametric_previous_repr = Tezos_raw_protocol_015_PtLimaPt__Constants_parametric_previous_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Constants_parametric_repr *)
module Constants_parametric_repr = Tezos_raw_protocol_015_PtLimaPt__Constants_parametric_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Constants_repr *)
module Constants_repr = Tezos_raw_protocol_015_PtLimaPt__Constants_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Constants_services *)
module Constants_services = Tezos_raw_protocol_015_PtLimaPt__Constants_services

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Constants_storage *)
module Constants_storage = Tezos_raw_protocol_015_PtLimaPt__Constants_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Contract_delegate_storage *)
module Contract_delegate_storage = Tezos_raw_protocol_015_PtLimaPt__Contract_delegate_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Contract_hash *)
module Contract_hash = Tezos_raw_protocol_015_PtLimaPt__Contract_hash

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Contract_manager_storage *)
module Contract_manager_storage = Tezos_raw_protocol_015_PtLimaPt__Contract_manager_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Contract_repr *)
module Contract_repr = Tezos_raw_protocol_015_PtLimaPt__Contract_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Contract_services *)
module Contract_services = Tezos_raw_protocol_015_PtLimaPt__Contract_services

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Contract_storage *)
module Contract_storage = Tezos_raw_protocol_015_PtLimaPt__Contract_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Cycle_repr *)
module Cycle_repr = Tezos_raw_protocol_015_PtLimaPt__Cycle_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Dal_apply *)
module Dal_apply = Tezos_raw_protocol_015_PtLimaPt__Dal_apply

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Dal_endorsement_repr *)
module Dal_endorsement_repr = Tezos_raw_protocol_015_PtLimaPt__Dal_endorsement_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Dal_errors_repr *)
module Dal_errors_repr = Tezos_raw_protocol_015_PtLimaPt__Dal_errors_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Dal_slot_repr *)
module Dal_slot_repr = Tezos_raw_protocol_015_PtLimaPt__Dal_slot_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Dal_slot_storage *)
module Dal_slot_storage = Tezos_raw_protocol_015_PtLimaPt__Dal_slot_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_activation_storage *)
module Delegate_activation_storage = Tezos_raw_protocol_015_PtLimaPt__Delegate_activation_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_consensus_key *)
module Delegate_consensus_key = Tezos_raw_protocol_015_PtLimaPt__Delegate_consensus_key

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_cycles *)
module Delegate_cycles = Tezos_raw_protocol_015_PtLimaPt__Delegate_cycles

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_missed_endorsements_storage *)
module Delegate_missed_endorsements_storage = Tezos_raw_protocol_015_PtLimaPt__Delegate_missed_endorsements_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_sampler *)
module Delegate_sampler = Tezos_raw_protocol_015_PtLimaPt__Delegate_sampler

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_services *)
module Delegate_services = Tezos_raw_protocol_015_PtLimaPt__Delegate_services

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_slashed_deposits_storage *)
module Delegate_slashed_deposits_storage = Tezos_raw_protocol_015_PtLimaPt__Delegate_slashed_deposits_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Delegate_storage *)
module Delegate_storage = Tezos_raw_protocol_015_PtLimaPt__Delegate_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Dependent_bool *)
module Dependent_bool = Tezos_raw_protocol_015_PtLimaPt__Dependent_bool

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Destination_repr *)
module Destination_repr = Tezos_raw_protocol_015_PtLimaPt__Destination_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Entrypoint_repr *)
module Entrypoint_repr = Tezos_raw_protocol_015_PtLimaPt__Entrypoint_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Fees_storage *)
module Fees_storage = Tezos_raw_protocol_015_PtLimaPt__Fees_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Fitness_repr *)
module Fitness_repr = Tezos_raw_protocol_015_PtLimaPt__Fitness_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Fixed_point_repr *)
module Fixed_point_repr = Tezos_raw_protocol_015_PtLimaPt__Fixed_point_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Frozen_deposits_storage *)
module Frozen_deposits_storage = Tezos_raw_protocol_015_PtLimaPt__Frozen_deposits_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Gas_comparable_input_size *)
module Gas_comparable_input_size = Tezos_raw_protocol_015_PtLimaPt__Gas_comparable_input_size

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Gas_input_size *)
module Gas_input_size = Tezos_raw_protocol_015_PtLimaPt__Gas_input_size

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Gas_limit_repr *)
module Gas_limit_repr = Tezos_raw_protocol_015_PtLimaPt__Gas_limit_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Gas_monad *)
module Gas_monad = Tezos_raw_protocol_015_PtLimaPt__Gas_monad

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Global_constants_costs *)
module Global_constants_costs = Tezos_raw_protocol_015_PtLimaPt__Global_constants_costs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Global_constants_storage *)
module Global_constants_storage = Tezos_raw_protocol_015_PtLimaPt__Global_constants_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Indexable *)
module Indexable = Tezos_raw_protocol_015_PtLimaPt__Indexable

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Init_storage *)
module Init_storage = Tezos_raw_protocol_015_PtLimaPt__Init_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Lazy_storage_diff *)
module Lazy_storage_diff = Tezos_raw_protocol_015_PtLimaPt__Lazy_storage_diff

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Lazy_storage_kind *)
module Lazy_storage_kind = Tezos_raw_protocol_015_PtLimaPt__Lazy_storage_kind

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Legacy_script_patches *)
module Legacy_script_patches = Tezos_raw_protocol_015_PtLimaPt__Legacy_script_patches

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Level_repr *)
module Level_repr = Tezos_raw_protocol_015_PtLimaPt__Level_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Level_storage *)
module Level_storage = Tezos_raw_protocol_015_PtLimaPt__Level_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_cpmm *)
module Liquidity_baking_cpmm = Tezos_raw_protocol_015_PtLimaPt__Liquidity_baking_cpmm

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_lqt *)
module Liquidity_baking_lqt = Tezos_raw_protocol_015_PtLimaPt__Liquidity_baking_lqt

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_migration *)
module Liquidity_baking_migration = Tezos_raw_protocol_015_PtLimaPt__Liquidity_baking_migration

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_repr *)
module Liquidity_baking_repr = Tezos_raw_protocol_015_PtLimaPt__Liquidity_baking_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_storage *)
module Liquidity_baking_storage = Tezos_raw_protocol_015_PtLimaPt__Liquidity_baking_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Local_gas_counter *)
module Local_gas_counter = Tezos_raw_protocol_015_PtLimaPt__Local_gas_counter

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Main *)
module Main = Tezos_raw_protocol_015_PtLimaPt__Main

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Manager_repr *)
module Manager_repr = Tezos_raw_protocol_015_PtLimaPt__Manager_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Mempool_validation *)
module Mempool_validation = Tezos_raw_protocol_015_PtLimaPt__Mempool_validation

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Merkle_list *)
module Merkle_list = Tezos_raw_protocol_015_PtLimaPt__Merkle_list

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Michelson_v1_gas *)
module Michelson_v1_gas = Tezos_raw_protocol_015_PtLimaPt__Michelson_v1_gas

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Michelson_v1_primitives *)
module Michelson_v1_primitives = Tezos_raw_protocol_015_PtLimaPt__Michelson_v1_primitives

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Migration_repr *)
module Migration_repr = Tezos_raw_protocol_015_PtLimaPt__Migration_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Misc *)
module Misc = Tezos_raw_protocol_015_PtLimaPt__Misc

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Non_empty_string *)
module Non_empty_string = Tezos_raw_protocol_015_PtLimaPt__Non_empty_string

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Nonce_hash *)
module Nonce_hash = Tezos_raw_protocol_015_PtLimaPt__Nonce_hash

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Nonce_storage *)
module Nonce_storage = Tezos_raw_protocol_015_PtLimaPt__Nonce_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Operation_repr *)
module Operation_repr = Tezos_raw_protocol_015_PtLimaPt__Operation_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Origination_nonce *)
module Origination_nonce = Tezos_raw_protocol_015_PtLimaPt__Origination_nonce

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Parameters_repr *)
module Parameters_repr = Tezos_raw_protocol_015_PtLimaPt__Parameters_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Path_encoding *)
module Path_encoding = Tezos_raw_protocol_015_PtLimaPt__Path_encoding

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Period_repr *)
module Period_repr = Tezos_raw_protocol_015_PtLimaPt__Period_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ratio_repr *)
module Ratio_repr = Tezos_raw_protocol_015_PtLimaPt__Ratio_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Raw_context *)
module Raw_context = Tezos_raw_protocol_015_PtLimaPt__Raw_context

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Raw_context_intf *)
module Raw_context_intf = Tezos_raw_protocol_015_PtLimaPt__Raw_context_intf

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Raw_level_repr *)
module Raw_level_repr = Tezos_raw_protocol_015_PtLimaPt__Raw_level_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Receipt_repr *)
module Receipt_repr = Tezos_raw_protocol_015_PtLimaPt__Receipt_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Round_repr *)
module Round_repr = Tezos_raw_protocol_015_PtLimaPt__Round_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sampler *)
module Sampler = Tezos_raw_protocol_015_PtLimaPt__Sampler

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sapling_repr *)
module Sapling_repr = Tezos_raw_protocol_015_PtLimaPt__Sapling_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sapling_services *)
module Sapling_services = Tezos_raw_protocol_015_PtLimaPt__Sapling_services

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sapling_storage *)
module Sapling_storage = Tezos_raw_protocol_015_PtLimaPt__Sapling_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sapling_validator *)
module Sapling_validator = Tezos_raw_protocol_015_PtLimaPt__Sapling_validator

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Saturation_repr *)
module Saturation_repr = Tezos_raw_protocol_015_PtLimaPt__Saturation_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_PVM_sig *)
module Sc_rollup_PVM_sig = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_PVM_sig

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_arith *)
module Sc_rollup_arith = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_arith

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_commitment_repr *)
module Sc_rollup_commitment_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_commitment_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_commitment_storage *)
module Sc_rollup_commitment_storage = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_commitment_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_costs *)
module Sc_rollup_costs = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_costs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_data_version_sig *)
module Sc_rollup_data_version_sig = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_data_version_sig

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_errors *)
module Sc_rollup_errors = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_errors

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_game_repr *)
module Sc_rollup_game_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_game_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_inbox_message_repr *)
module Sc_rollup_inbox_message_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_inbox_message_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_inbox_repr *)
module Sc_rollup_inbox_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_inbox_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_inbox_storage *)
module Sc_rollup_inbox_storage = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_inbox_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_management_protocol *)
module Sc_rollup_management_protocol = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_management_protocol

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_operations *)
module Sc_rollup_operations = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_operations

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_outbox_message_repr *)
module Sc_rollup_outbox_message_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_outbox_message_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_outbox_storage *)
module Sc_rollup_outbox_storage = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_outbox_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_proof_repr *)
module Sc_rollup_proof_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_proof_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_refutation_storage *)
module Sc_rollup_refutation_storage = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_refutation_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_repr *)
module Sc_rollup_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_stake_storage *)
module Sc_rollup_stake_storage = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_stake_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_storage *)
module Sc_rollup_storage = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_tick_repr *)
module Sc_rollup_tick_repr = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_tick_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollup_wasm *)
module Sc_rollup_wasm = Tezos_raw_protocol_015_PtLimaPt__Sc_rollup_wasm

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Sc_rollups *)
module Sc_rollups = Tezos_raw_protocol_015_PtLimaPt__Sc_rollups

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_big_map *)
module Script_big_map = Tezos_raw_protocol_015_PtLimaPt__Script_big_map

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_cache *)
module Script_cache = Tezos_raw_protocol_015_PtLimaPt__Script_cache

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_comparable *)
module Script_comparable = Tezos_raw_protocol_015_PtLimaPt__Script_comparable

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_expr_hash *)
module Script_expr_hash = Tezos_raw_protocol_015_PtLimaPt__Script_expr_hash

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_int *)
module Script_int = Tezos_raw_protocol_015_PtLimaPt__Script_int

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_interpreter *)
module Script_interpreter = Tezos_raw_protocol_015_PtLimaPt__Script_interpreter

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_interpreter_defs *)
module Script_interpreter_defs = Tezos_raw_protocol_015_PtLimaPt__Script_interpreter_defs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_interpreter_logging *)
module Script_interpreter_logging = Tezos_raw_protocol_015_PtLimaPt__Script_interpreter_logging

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_ir_annot *)
module Script_ir_annot = Tezos_raw_protocol_015_PtLimaPt__Script_ir_annot

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_ir_translator *)
module Script_ir_translator = Tezos_raw_protocol_015_PtLimaPt__Script_ir_translator

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_ir_translator_config *)
module Script_ir_translator_config = Tezos_raw_protocol_015_PtLimaPt__Script_ir_translator_config

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_ir_unparser *)
module Script_ir_unparser = Tezos_raw_protocol_015_PtLimaPt__Script_ir_unparser

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_list *)
module Script_list = Tezos_raw_protocol_015_PtLimaPt__Script_list

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_map *)
module Script_map = Tezos_raw_protocol_015_PtLimaPt__Script_map

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_repr *)
module Script_repr = Tezos_raw_protocol_015_PtLimaPt__Script_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_set *)
module Script_set = Tezos_raw_protocol_015_PtLimaPt__Script_set

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_string *)
module Script_string = Tezos_raw_protocol_015_PtLimaPt__Script_string

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_tc_context *)
module Script_tc_context = Tezos_raw_protocol_015_PtLimaPt__Script_tc_context

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_tc_errors *)
module Script_tc_errors = Tezos_raw_protocol_015_PtLimaPt__Script_tc_errors

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_tc_errors_registration *)
module Script_tc_errors_registration = Tezos_raw_protocol_015_PtLimaPt__Script_tc_errors_registration

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_timestamp *)
module Script_timestamp = Tezos_raw_protocol_015_PtLimaPt__Script_timestamp

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_typed_ir *)
module Script_typed_ir = Tezos_raw_protocol_015_PtLimaPt__Script_typed_ir

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_typed_ir_size *)
module Script_typed_ir_size = Tezos_raw_protocol_015_PtLimaPt__Script_typed_ir_size

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Script_typed_ir_size_costs *)
module Script_typed_ir_size_costs = Tezos_raw_protocol_015_PtLimaPt__Script_typed_ir_size_costs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Seed_repr *)
module Seed_repr = Tezos_raw_protocol_015_PtLimaPt__Seed_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Seed_storage *)
module Seed_storage = Tezos_raw_protocol_015_PtLimaPt__Seed_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Services_registration *)
module Services_registration = Tezos_raw_protocol_015_PtLimaPt__Services_registration

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Skip_list_repr *)
module Skip_list_repr = Tezos_raw_protocol_015_PtLimaPt__Skip_list_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Slot_repr *)
module Slot_repr = Tezos_raw_protocol_015_PtLimaPt__Slot_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Stake_storage *)
module Stake_storage = Tezos_raw_protocol_015_PtLimaPt__Stake_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.State_hash *)
module State_hash = Tezos_raw_protocol_015_PtLimaPt__State_hash

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Storage *)
module Storage = Tezos_raw_protocol_015_PtLimaPt__Storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Storage_costs *)
module Storage_costs = Tezos_raw_protocol_015_PtLimaPt__Storage_costs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Storage_description *)
module Storage_description = Tezos_raw_protocol_015_PtLimaPt__Storage_description

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Storage_functors *)
module Storage_functors = Tezos_raw_protocol_015_PtLimaPt__Storage_functors

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Storage_sigs *)
module Storage_sigs = Tezos_raw_protocol_015_PtLimaPt__Storage_sigs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tez_repr *)
module Tez_repr = Tezos_raw_protocol_015_PtLimaPt__Tez_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_accounting *)
module Ticket_accounting = Tezos_raw_protocol_015_PtLimaPt__Ticket_accounting

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_amount *)
module Ticket_amount = Tezos_raw_protocol_015_PtLimaPt__Ticket_amount

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_balance_key *)
module Ticket_balance_key = Tezos_raw_protocol_015_PtLimaPt__Ticket_balance_key

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_costs *)
module Ticket_costs = Tezos_raw_protocol_015_PtLimaPt__Ticket_costs

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_hash_builder *)
module Ticket_hash_builder = Tezos_raw_protocol_015_PtLimaPt__Ticket_hash_builder

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_hash_repr *)
module Ticket_hash_repr = Tezos_raw_protocol_015_PtLimaPt__Ticket_hash_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_lazy_storage_diff *)
module Ticket_lazy_storage_diff = Tezos_raw_protocol_015_PtLimaPt__Ticket_lazy_storage_diff

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_operations_diff *)
module Ticket_operations_diff = Tezos_raw_protocol_015_PtLimaPt__Ticket_operations_diff

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_receipt_repr *)
module Ticket_receipt_repr = Tezos_raw_protocol_015_PtLimaPt__Ticket_receipt_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_scanner *)
module Ticket_scanner = Tezos_raw_protocol_015_PtLimaPt__Ticket_scanner

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_storage *)
module Ticket_storage = Tezos_raw_protocol_015_PtLimaPt__Ticket_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_token *)
module Ticket_token = Tezos_raw_protocol_015_PtLimaPt__Ticket_token

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Ticket_token_map *)
module Ticket_token_map = Tezos_raw_protocol_015_PtLimaPt__Ticket_token_map

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Time_repr *)
module Time_repr = Tezos_raw_protocol_015_PtLimaPt__Time_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Token *)
module Token = Tezos_raw_protocol_015_PtLimaPt__Token

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_commitment_repr *)
module Tx_rollup_commitment_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_commitment_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_commitment_storage *)
module Tx_rollup_commitment_storage = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_commitment_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_errors_repr *)
module Tx_rollup_errors_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_errors_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_gas *)
module Tx_rollup_gas = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_gas

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_hash_builder *)
module Tx_rollup_hash_builder = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_hash_builder

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_inbox_repr *)
module Tx_rollup_inbox_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_inbox_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_inbox_storage *)
module Tx_rollup_inbox_storage = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_inbox_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_address *)
module Tx_rollup_l2_address = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_address

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_apply *)
module Tx_rollup_l2_apply = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_apply

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_batch *)
module Tx_rollup_l2_batch = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_batch

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_context *)
module Tx_rollup_l2_context = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_context_hash *)
module Tx_rollup_l2_context_hash = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_hash

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_context_sig *)
module Tx_rollup_l2_context_sig = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_context_sig

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_proof *)
module Tx_rollup_l2_proof = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_proof

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_qty *)
module Tx_rollup_l2_qty = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_qty

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_storage_sig *)
module Tx_rollup_l2_storage_sig = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_storage_sig

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_l2_verifier *)
module Tx_rollup_l2_verifier = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_l2_verifier

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_level_repr *)
module Tx_rollup_level_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_level_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_hash_repr *)
module Tx_rollup_message_hash_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_message_hash_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_repr *)
module Tx_rollup_message_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_message_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_result_hash_repr *)
module Tx_rollup_message_result_hash_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_message_result_hash_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_message_result_repr *)
module Tx_rollup_message_result_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_message_result_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_parameters *)
module Tx_rollup_parameters = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_parameters

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_prefixes *)
module Tx_rollup_prefixes = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_prefixes

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_repr *)
module Tx_rollup_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_reveal_repr *)
module Tx_rollup_reveal_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_reveal_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_reveal_storage *)
module Tx_rollup_reveal_storage = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_reveal_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_services *)
module Tx_rollup_services = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_services

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_state_repr *)
module Tx_rollup_state_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_state_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_state_storage *)
module Tx_rollup_state_storage = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_state_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_storage *)
module Tx_rollup_storage = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_ticket *)
module Tx_rollup_ticket = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_ticket

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_withdraw_list_hash_repr *)
module Tx_rollup_withdraw_list_hash_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_withdraw_list_hash_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Tx_rollup_withdraw_repr *)
module Tx_rollup_withdraw_repr = Tezos_raw_protocol_015_PtLimaPt__Tx_rollup_withdraw_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Validate *)
module Validate = Tezos_raw_protocol_015_PtLimaPt__Validate

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Validate_errors *)
module Validate_errors = Tezos_raw_protocol_015_PtLimaPt__Validate_errors

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Vote_repr *)
module Vote_repr = Tezos_raw_protocol_015_PtLimaPt__Vote_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Vote_storage *)
module Vote_storage = Tezos_raw_protocol_015_PtLimaPt__Vote_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Voting_period_repr *)
module Voting_period_repr = Tezos_raw_protocol_015_PtLimaPt__Voting_period_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Voting_period_storage *)
module Voting_period_storage = Tezos_raw_protocol_015_PtLimaPt__Voting_period_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Voting_services *)
module Voting_services = Tezos_raw_protocol_015_PtLimaPt__Voting_services

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_account_repr *)
module Zk_rollup_account_repr = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_account_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_apply *)
module Zk_rollup_apply = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_apply

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_errors *)
module Zk_rollup_errors = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_errors

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_operation_repr *)
module Zk_rollup_operation_repr = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_operation_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_parameters *)
module Zk_rollup_parameters = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_parameters

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_repr *)
module Zk_rollup_repr = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_scalar *)
module Zk_rollup_scalar = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_scalar

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_state_repr *)
module Zk_rollup_state_repr = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_state_repr

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_storage *)
module Zk_rollup_storage = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_storage

(** @canonical Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_ticket_repr *)
module Zk_rollup_ticket_repr = Tezos_raw_protocol_015_PtLimaPt__Zk_rollup_ticket_repr