Module Replayable_trace.V0Source

Sourceval version : int
Sourcetype header = unit
Sourceval header_t : unit Repr.t
Sourcetype 'a scope =
  1. | Forget of 'a
  2. | Keep of 'a
Sourceval scope_t : 'a Repr.t -> 'a scope Repr.t
Sourcetype key = string list
Sourceval key_t : string list Repr.t
Sourcetype hash = string
Sourceval hash_t : string Repr.t
Sourcetype message = string
Sourceval message_t : string Repr.t
Sourcetype context_id = int64
Sourceval context_id_t : int64 Repr.t
Sourcetype add = {
  1. key : key;
  2. value : string;
  3. in_ctx_id : context_id scope;
  4. out_ctx_id : context_id scope;
}
Sourceval add_t : add Repr.t
Sourcetype copy = {
  1. key_src : key;
  2. key_dst : key;
  3. in_ctx_id : context_id scope;
  4. out_ctx_id : context_id scope;
}
Sourceval copy_t : copy Repr.t
Sourcetype commit = {
  1. hash : hash scope;
  2. date : int64;
  3. message : message;
  4. parents : hash scope list;
  5. in_ctx_id : context_id scope;
}
Sourceval commit_t : commit Repr.t
Sourcetype 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
Sourceval row_t : row Repr.t