Module Mavryk_protocol_environment.Register

Parameters

module C : sig ... end

Signature

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