Module Tezos_tezedge_context.Tezedge_context
include sig ... end
type Tezos_protocol_environment__Environment_context.Context.kind += | Context : C.t Tezos_protocol_environment__Environment_context.Context.kind
val equality_witness :
(C.t, C.tree)
Tezos_protocol_environment__Environment_context.Context.equality_witnessval ops :
(module Tezos_protocol_environment__.Environment_context_intf.V5.S
with type t = C.t
and type tree = C.tree)