Module Tezos_protocol_environment.RegisterSource

Parameters

module C : sig ... end

Signature

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