Module Tezos_protocol_environment.Register

Parameters

module C : sig ... end

Signature

type Tezos_protocol_environment__.Environment_context.Context.kind +=
  1. | Context : C.t Tezos_protocol_environment__.Environment_context.Context.kind
val equality_witness : (C.t, C.tree) Tezos_protocol_environment__.Environment_context.Context.equality_witness
val ops : (module Tezos_protocol_environment__.Environment_context_intf.V5.S with type t = C.t and type tree = C.tree)