123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103(*****************************************************************************)(* *)(* Open Source License *)(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. <contact@tezos.com> *)(* *)(* Permission is hereby granted, free of charge, to any person obtaining a *)(* copy of this software and associated documentation files (the "Software"),*)(* to deal in the Software without restriction, including without limitation *)(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *)(* and/or sell copies of the Software, and to permit persons to whom the *)(* Software is furnished to do so, subject to the following conditions: *)(* *)(* The above copyright notice and this permission notice shall be included *)(* in all copies or substantial portions of the Software. *)(* *)(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *)(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *)(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *)(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *)(* DEALINGS IN THE SOFTWARE. *)(* *)(*****************************************************************************)moduletypePROTOCOL_V0=functor(Env:Tezos_protocol_environment_sigs.V0.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V1=functor(Env:Tezos_protocol_environment_sigs.V1.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V2=functor(Env:Tezos_protocol_environment_sigs.V2.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V3=functor(Env:Tezos_protocol_environment_sigs.V3.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V4=functor(Env:Tezos_protocol_environment_sigs.V4.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V5=functor(Env:Tezos_protocol_environment_sigs.V5.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V6=functor(Env:Tezos_protocol_environment_sigs.V6.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V7=functor(Env:Tezos_protocol_environment_sigs.V7.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V8=functor(Env:Tezos_protocol_environment_sigs.V8.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V9=functor(Env:Tezos_protocol_environment_sigs.V9.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V10=functor(Env:Tezos_protocol_environment_sigs.V10.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V11=functor(Env:Tezos_protocol_environment_sigs.V11.T)->Env.Updater.PROTOCOLmoduletypePROTOCOL_V12=functor(Env:Tezos_protocol_environment_sigs.V12.T)->Env.Updater.PROTOCOLmoduleVersionTable=Protocol_hash.Tabletypeproto_env=|V0of(modulePROTOCOL_V0)|V1of(modulePROTOCOL_V1)|V2of(modulePROTOCOL_V2)|V3of(modulePROTOCOL_V3)|V4of(modulePROTOCOL_V4)|V5of(modulePROTOCOL_V5)|V6of(modulePROTOCOL_V6)|V7of(modulePROTOCOL_V7)|V8of(modulePROTOCOL_V8)|V9of(modulePROTOCOL_V9)|V10of(modulePROTOCOL_V10)|V11of(modulePROTOCOL_V11)|V12of(modulePROTOCOL_V12)letversions:proto_envVersionTable.t=VersionTable.create20letregisterhashproto=lethash=Protocol_hash.of_b58check_exnhashinVersionTable.addversionshashprotoletmemhash=VersionTable.memversionshashletgethash=VersionTable.findversionshash