Source file tezos_raw_protocol_012_Psithaca.ml

(* generated by dune *)

(** @canonical Tezos_raw_protocol_012_Psithaca.Alpha_context *)
module Alpha_context = Tezos_raw_protocol_012_Psithaca__Alpha_context

(** @canonical Tezos_raw_protocol_012_Psithaca.Alpha_services *)
module Alpha_services = Tezos_raw_protocol_012_Psithaca__Alpha_services

(** @canonical Tezos_raw_protocol_012_Psithaca.Amendment *)
module Amendment = Tezos_raw_protocol_012_Psithaca__Amendment

(** @canonical Tezos_raw_protocol_012_Psithaca.Apply *)
module Apply = Tezos_raw_protocol_012_Psithaca__Apply

(** @canonical Tezos_raw_protocol_012_Psithaca.Apply_results *)
module Apply_results = Tezos_raw_protocol_012_Psithaca__Apply_results

(** @canonical Tezos_raw_protocol_012_Psithaca.Baking *)
module Baking = Tezos_raw_protocol_012_Psithaca__Baking

(** @canonical Tezos_raw_protocol_012_Psithaca.Blinded_public_key_hash *)
module Blinded_public_key_hash = Tezos_raw_protocol_012_Psithaca__Blinded_public_key_hash

(** @canonical Tezos_raw_protocol_012_Psithaca.Block_header_repr *)
module Block_header_repr = Tezos_raw_protocol_012_Psithaca__Block_header_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Block_payload_hash *)
module Block_payload_hash = Tezos_raw_protocol_012_Psithaca__Block_payload_hash

(** @canonical Tezos_raw_protocol_012_Psithaca.Block_payload_repr *)
module Block_payload_repr = Tezos_raw_protocol_012_Psithaca__Block_payload_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Bootstrap_storage *)
module Bootstrap_storage = Tezos_raw_protocol_012_Psithaca__Bootstrap_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Cache_memory_helpers *)
module Cache_memory_helpers = Tezos_raw_protocol_012_Psithaca__Cache_memory_helpers

(** @canonical Tezos_raw_protocol_012_Psithaca.Cache_repr *)
module Cache_repr = Tezos_raw_protocol_012_Psithaca__Cache_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Commitment_repr *)
module Commitment_repr = Tezos_raw_protocol_012_Psithaca__Commitment_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Commitment_storage *)
module Commitment_storage = Tezos_raw_protocol_012_Psithaca__Commitment_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Constants_repr *)
module Constants_repr = Tezos_raw_protocol_012_Psithaca__Constants_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Constants_services *)
module Constants_services = Tezos_raw_protocol_012_Psithaca__Constants_services

(** @canonical Tezos_raw_protocol_012_Psithaca.Constants_storage *)
module Constants_storage = Tezos_raw_protocol_012_Psithaca__Constants_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Contract_delegate_storage *)
module Contract_delegate_storage = Tezos_raw_protocol_012_Psithaca__Contract_delegate_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Contract_hash *)
module Contract_hash = Tezos_raw_protocol_012_Psithaca__Contract_hash

(** @canonical Tezos_raw_protocol_012_Psithaca.Contract_manager_storage *)
module Contract_manager_storage = Tezos_raw_protocol_012_Psithaca__Contract_manager_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Contract_repr *)
module Contract_repr = Tezos_raw_protocol_012_Psithaca__Contract_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Contract_services *)
module Contract_services = Tezos_raw_protocol_012_Psithaca__Contract_services

(** @canonical Tezos_raw_protocol_012_Psithaca.Contract_storage *)
module Contract_storage = Tezos_raw_protocol_012_Psithaca__Contract_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Cycle_repr *)
module Cycle_repr = Tezos_raw_protocol_012_Psithaca__Cycle_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Delegate_activation_storage *)
module Delegate_activation_storage = Tezos_raw_protocol_012_Psithaca__Delegate_activation_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Delegate_services *)
module Delegate_services = Tezos_raw_protocol_012_Psithaca__Delegate_services

(** @canonical Tezos_raw_protocol_012_Psithaca.Delegate_storage *)
module Delegate_storage = Tezos_raw_protocol_012_Psithaca__Delegate_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Fees_storage *)
module Fees_storage = Tezos_raw_protocol_012_Psithaca__Fees_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Fitness_repr *)
module Fitness_repr = Tezos_raw_protocol_012_Psithaca__Fitness_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Fixed_point_repr *)
module Fixed_point_repr = Tezos_raw_protocol_012_Psithaca__Fixed_point_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Frozen_deposits_storage *)
module Frozen_deposits_storage = Tezos_raw_protocol_012_Psithaca__Frozen_deposits_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Gas_limit_repr *)
module Gas_limit_repr = Tezos_raw_protocol_012_Psithaca__Gas_limit_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Gas_monad *)
module Gas_monad = Tezos_raw_protocol_012_Psithaca__Gas_monad

(** @canonical Tezos_raw_protocol_012_Psithaca.Global_constants_costs *)
module Global_constants_costs = Tezos_raw_protocol_012_Psithaca__Global_constants_costs

(** @canonical Tezos_raw_protocol_012_Psithaca.Global_constants_storage *)
module Global_constants_storage = Tezos_raw_protocol_012_Psithaca__Global_constants_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Init_storage *)
module Init_storage = Tezos_raw_protocol_012_Psithaca__Init_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Lazy_storage_diff *)
module Lazy_storage_diff = Tezos_raw_protocol_012_Psithaca__Lazy_storage_diff

(** @canonical Tezos_raw_protocol_012_Psithaca.Lazy_storage_kind *)
module Lazy_storage_kind = Tezos_raw_protocol_012_Psithaca__Lazy_storage_kind

(** @canonical Tezos_raw_protocol_012_Psithaca.Level_repr *)
module Level_repr = Tezos_raw_protocol_012_Psithaca__Level_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Level_storage *)
module Level_storage = Tezos_raw_protocol_012_Psithaca__Level_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Liquidity_baking_cpmm *)
module Liquidity_baking_cpmm = Tezos_raw_protocol_012_Psithaca__Liquidity_baking_cpmm

(** @canonical Tezos_raw_protocol_012_Psithaca.Liquidity_baking_lqt *)
module Liquidity_baking_lqt = Tezos_raw_protocol_012_Psithaca__Liquidity_baking_lqt

(** @canonical Tezos_raw_protocol_012_Psithaca.Liquidity_baking_migration *)
module Liquidity_baking_migration = Tezos_raw_protocol_012_Psithaca__Liquidity_baking_migration

(** @canonical Tezos_raw_protocol_012_Psithaca.Liquidity_baking_repr *)
module Liquidity_baking_repr = Tezos_raw_protocol_012_Psithaca__Liquidity_baking_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Local_gas_counter *)
module Local_gas_counter = Tezos_raw_protocol_012_Psithaca__Local_gas_counter

(** @canonical Tezos_raw_protocol_012_Psithaca.Main *)
module Main = Tezos_raw_protocol_012_Psithaca__Main

(** @canonical Tezos_raw_protocol_012_Psithaca.Manager_repr *)
module Manager_repr = Tezos_raw_protocol_012_Psithaca__Manager_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Michelson_v1_gas *)
module Michelson_v1_gas = Tezos_raw_protocol_012_Psithaca__Michelson_v1_gas

(** @canonical Tezos_raw_protocol_012_Psithaca.Michelson_v1_primitives *)
module Michelson_v1_primitives = Tezos_raw_protocol_012_Psithaca__Michelson_v1_primitives

(** @canonical Tezos_raw_protocol_012_Psithaca.Migration_repr *)
module Migration_repr = Tezos_raw_protocol_012_Psithaca__Migration_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Misc *)
module Misc = Tezos_raw_protocol_012_Psithaca__Misc

(** @canonical Tezos_raw_protocol_012_Psithaca.Non_empty_string *)
module Non_empty_string = Tezos_raw_protocol_012_Psithaca__Non_empty_string

(** @canonical Tezos_raw_protocol_012_Psithaca.Nonce_hash *)
module Nonce_hash = Tezos_raw_protocol_012_Psithaca__Nonce_hash

(** @canonical Tezos_raw_protocol_012_Psithaca.Nonce_storage *)
module Nonce_storage = Tezos_raw_protocol_012_Psithaca__Nonce_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Operation_repr *)
module Operation_repr = Tezos_raw_protocol_012_Psithaca__Operation_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Parameters_repr *)
module Parameters_repr = Tezos_raw_protocol_012_Psithaca__Parameters_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Path_encoding *)
module Path_encoding = Tezos_raw_protocol_012_Psithaca__Path_encoding

(** @canonical Tezos_raw_protocol_012_Psithaca.Period_repr *)
module Period_repr = Tezos_raw_protocol_012_Psithaca__Period_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Raw_context *)
module Raw_context = Tezos_raw_protocol_012_Psithaca__Raw_context

(** @canonical Tezos_raw_protocol_012_Psithaca.Raw_context_intf *)
module Raw_context_intf = Tezos_raw_protocol_012_Psithaca__Raw_context_intf

(** @canonical Tezos_raw_protocol_012_Psithaca.Raw_level_repr *)
module Raw_level_repr = Tezos_raw_protocol_012_Psithaca__Raw_level_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Receipt_repr *)
module Receipt_repr = Tezos_raw_protocol_012_Psithaca__Receipt_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Roll_repr_legacy *)
module Roll_repr_legacy = Tezos_raw_protocol_012_Psithaca__Roll_repr_legacy

(** @canonical Tezos_raw_protocol_012_Psithaca.Roll_storage_legacy *)
module Roll_storage_legacy = Tezos_raw_protocol_012_Psithaca__Roll_storage_legacy

(** @canonical Tezos_raw_protocol_012_Psithaca.Round_repr *)
module Round_repr = Tezos_raw_protocol_012_Psithaca__Round_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Sampler *)
module Sampler = Tezos_raw_protocol_012_Psithaca__Sampler

(** @canonical Tezos_raw_protocol_012_Psithaca.Sapling_repr *)
module Sapling_repr = Tezos_raw_protocol_012_Psithaca__Sapling_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Sapling_services *)
module Sapling_services = Tezos_raw_protocol_012_Psithaca__Sapling_services

(** @canonical Tezos_raw_protocol_012_Psithaca.Sapling_storage *)
module Sapling_storage = Tezos_raw_protocol_012_Psithaca__Sapling_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Sapling_validator *)
module Sapling_validator = Tezos_raw_protocol_012_Psithaca__Sapling_validator

(** @canonical Tezos_raw_protocol_012_Psithaca.Saturation_repr *)
module Saturation_repr = Tezos_raw_protocol_012_Psithaca__Saturation_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_cache *)
module Script_cache = Tezos_raw_protocol_012_Psithaca__Script_cache

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_comparable *)
module Script_comparable = Tezos_raw_protocol_012_Psithaca__Script_comparable

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_expr_hash *)
module Script_expr_hash = Tezos_raw_protocol_012_Psithaca__Script_expr_hash

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_int_repr *)
module Script_int_repr = Tezos_raw_protocol_012_Psithaca__Script_int_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_interpreter *)
module Script_interpreter = Tezos_raw_protocol_012_Psithaca__Script_interpreter

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_interpreter_defs *)
module Script_interpreter_defs = Tezos_raw_protocol_012_Psithaca__Script_interpreter_defs

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_ir_annot *)
module Script_ir_annot = Tezos_raw_protocol_012_Psithaca__Script_ir_annot

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_ir_translator *)
module Script_ir_translator = Tezos_raw_protocol_012_Psithaca__Script_ir_translator

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_list *)
module Script_list = Tezos_raw_protocol_012_Psithaca__Script_list

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_map *)
module Script_map = Tezos_raw_protocol_012_Psithaca__Script_map

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_repr *)
module Script_repr = Tezos_raw_protocol_012_Psithaca__Script_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_set *)
module Script_set = Tezos_raw_protocol_012_Psithaca__Script_set

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_string_repr *)
module Script_string_repr = Tezos_raw_protocol_012_Psithaca__Script_string_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_tc_errors *)
module Script_tc_errors = Tezos_raw_protocol_012_Psithaca__Script_tc_errors

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_tc_errors_registration *)
module Script_tc_errors_registration = Tezos_raw_protocol_012_Psithaca__Script_tc_errors_registration

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_timestamp_repr *)
module Script_timestamp_repr = Tezos_raw_protocol_012_Psithaca__Script_timestamp_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_typed_ir *)
module Script_typed_ir = Tezos_raw_protocol_012_Psithaca__Script_typed_ir

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_typed_ir_size *)
module Script_typed_ir_size = Tezos_raw_protocol_012_Psithaca__Script_typed_ir_size

(** @canonical Tezos_raw_protocol_012_Psithaca.Script_typed_ir_size_costs *)
module Script_typed_ir_size_costs = Tezos_raw_protocol_012_Psithaca__Script_typed_ir_size_costs

(** @canonical Tezos_raw_protocol_012_Psithaca.Seed_repr *)
module Seed_repr = Tezos_raw_protocol_012_Psithaca__Seed_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Seed_storage *)
module Seed_storage = Tezos_raw_protocol_012_Psithaca__Seed_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Services_registration *)
module Services_registration = Tezos_raw_protocol_012_Psithaca__Services_registration

(** @canonical Tezos_raw_protocol_012_Psithaca.Slot_repr *)
module Slot_repr = Tezos_raw_protocol_012_Psithaca__Slot_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Stake_storage *)
module Stake_storage = Tezos_raw_protocol_012_Psithaca__Stake_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.State_hash *)
module State_hash = Tezos_raw_protocol_012_Psithaca__State_hash

(** @canonical Tezos_raw_protocol_012_Psithaca.Storage *)
module Storage = Tezos_raw_protocol_012_Psithaca__Storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Storage_costs *)
module Storage_costs = Tezos_raw_protocol_012_Psithaca__Storage_costs

(** @canonical Tezos_raw_protocol_012_Psithaca.Storage_description *)
module Storage_description = Tezos_raw_protocol_012_Psithaca__Storage_description

(** @canonical Tezos_raw_protocol_012_Psithaca.Storage_functors *)
module Storage_functors = Tezos_raw_protocol_012_Psithaca__Storage_functors

(** @canonical Tezos_raw_protocol_012_Psithaca.Storage_sigs *)
module Storage_sigs = Tezos_raw_protocol_012_Psithaca__Storage_sigs

(** @canonical Tezos_raw_protocol_012_Psithaca.Tez_repr *)
module Tez_repr = Tezos_raw_protocol_012_Psithaca__Tez_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Ticket_balance_key *)
module Ticket_balance_key = Tezos_raw_protocol_012_Psithaca__Ticket_balance_key

(** @canonical Tezos_raw_protocol_012_Psithaca.Ticket_costs *)
module Ticket_costs = Tezos_raw_protocol_012_Psithaca__Ticket_costs

(** @canonical Tezos_raw_protocol_012_Psithaca.Ticket_scanner *)
module Ticket_scanner = Tezos_raw_protocol_012_Psithaca__Ticket_scanner

(** @canonical Tezos_raw_protocol_012_Psithaca.Ticket_storage *)
module Ticket_storage = Tezos_raw_protocol_012_Psithaca__Ticket_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Time_repr *)
module Time_repr = Tezos_raw_protocol_012_Psithaca__Time_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Token *)
module Token = Tezos_raw_protocol_012_Psithaca__Token

(** @canonical Tezos_raw_protocol_012_Psithaca.Vote_repr *)
module Vote_repr = Tezos_raw_protocol_012_Psithaca__Vote_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Vote_storage *)
module Vote_storage = Tezos_raw_protocol_012_Psithaca__Vote_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Voting_period_repr *)
module Voting_period_repr = Tezos_raw_protocol_012_Psithaca__Voting_period_repr

(** @canonical Tezos_raw_protocol_012_Psithaca.Voting_period_storage *)
module Voting_period_storage = Tezos_raw_protocol_012_Psithaca__Voting_period_storage

(** @canonical Tezos_raw_protocol_012_Psithaca.Voting_services *)
module Voting_services = Tezos_raw_protocol_012_Psithaca__Voting_services