Tezos_protocol_registererSourcemodule 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.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)