Module Replayable_trace.V0

val version : int
type header = unit
val header_t : unit Repr.t
type 'a scope =
  1. | Forget of 'a
  2. | Keep of 'a
val scope_t : 'a Repr.t -> 'b scope Repr.t
type key = string list
val key_t : string list Repr.t
type hash = string
val hash_t : string Repr.t
type message = string
val message_t : string Repr.t
type context_id = int64
val context_id_t : int64 Repr.t
type add = {
  1. key : key;
  2. value : string;
  3. in_ctx_id : context_id scope;
  4. out_ctx_id : context_id scope;
}
val add_t : add Repr.t
type copy = {
  1. key_src : key;
  2. key_dst : key;
  3. in_ctx_id : context_id scope;
  4. out_ctx_id : context_id scope;
}
val copy_t : copy Repr.t
type commit = {
  1. hash : hash scope;
  2. date : int64;
  3. message : message;
  4. parents : hash scope list;
  5. in_ctx_id : context_id scope;
}
val commit_t : commit Repr.t
type row =
  1. | Checkout of hash scope * context_id scope
  2. | Add of add
  3. | Remove of key * context_id scope * context_id scope
  4. | Copy of copy
  5. | Find of key * bool * context_id scope
  6. | Mem of key * bool * context_id scope
  7. | Mem_tree of key * bool * context_id scope
  8. | Commit of commit
val row_t : row Repr.t