Tezos_protocol_registerermodule type PROTOCOL_V0 =
functor (Env : Tezos_protocol_environment_sigs.V0.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V1 =
functor (Env : Tezos_protocol_environment_sigs.V1.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V2 =
functor (Env : Tezos_protocol_environment_sigs.V2.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V3 =
functor (Env : Tezos_protocol_environment_sigs.V3.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V4 =
functor (Env : Tezos_protocol_environment_sigs.V4.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V5 =
functor (Env : Tezos_protocol_environment_sigs.V5.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V6 =
functor (Env : Tezos_protocol_environment_sigs.V6.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V7 =
functor (Env : Tezos_protocol_environment_sigs.V7.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V8 =
functor (Env : Tezos_protocol_environment_sigs.V8.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V9 =
functor (Env : Tezos_protocol_environment_sigs.V9.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V10 =
functor (Env : Tezos_protocol_environment_sigs.V10.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V11 =
functor (Env : Tezos_protocol_environment_sigs.V11.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V12 =
functor (Env : Tezos_protocol_environment_sigs.V12.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V13 =
functor (Env : Tezos_protocol_environment_sigs.V13.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V14 =
functor (Env : Tezos_protocol_environment_sigs.V14.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V15 =
functor (Env : Tezos_protocol_environment_sigs.V15.T) ->
Env.Updater.PROTOCOLmodule type PROTOCOL_V16 =
functor (Env : Tezos_protocol_environment_sigs.V16.T) ->
Env.Updater.PROTOCOLtype proto_env = | V0 of (module PROTOCOL_V0)| V1 of (module PROTOCOL_V1)| V2 of (module PROTOCOL_V2)| V3 of (module PROTOCOL_V3)| V4 of (module PROTOCOL_V4)| V5 of (module PROTOCOL_V5)| V6 of (module PROTOCOL_V6)| V7 of (module PROTOCOL_V7)| V8 of (module PROTOCOL_V8)| V9 of (module PROTOCOL_V9)| V10 of (module PROTOCOL_V10)| V11 of (module PROTOCOL_V11)| V12 of (module PROTOCOL_V12)| V13 of (module PROTOCOL_V13)| V14 of (module PROTOCOL_V14)| V15 of (module PROTOCOL_V15)| V16 of (module PROTOCOL_V16)val register : string -> proto_env -> unitval mem : Tezos_base.TzPervasives.Protocol_hash.t -> boolval get : Tezos_base.TzPervasives.Protocol_hash.t -> proto_env option