Module Mavryk_layer2_store.Context_sigs

module Equality_witness : sig ... end
type ('a, 'b) equality_witness = 'a Equality_witness.t * 'b Equality_witness.t
type ('a, 'repo) raw_index = {
  1. path : string;
  2. repo : 'repo;
}
type ('a, 'repo) index = ('a, 'repo) raw_index constraint 'a = [< `Read | `Write Read ]
type ('a, 'repo, 'tree) t = {
  1. index : ('a, 'repo) index;
  2. tree : 'tree;
} constraint 'a = [< `Read | `Write Read ]
module type S = sig ... end