Module Span.KeySource

Sourcetype atom_seen = [
  1. | `Add
  2. | `Remove
  3. | `Find
  4. | `Mem
  5. | `Mem_tree
  6. | `Checkout
  7. | `Copy
  8. | `Commit
]

The unitary operations played. We recorded the length of all of these.

Sourceval atom_seen_t : [ `Add | `Checkout | `Commit | `Copy | `Find | `Mem | `Mem_tree | `Remove ] Repr.t
Sourceval min_atom_seen : int
Sourceval max_atom_seen : int
Sourceval atom_seen_to_enum : [< `Add | `Checkout | `Commit | `Copy | `Find | `Mem | `Mem_tree | `Remove ] -> int
Sourceval atom_seen_of_enum : int -> [> `Add | `Checkout | `Commit | `Copy | `Find | `Mem | `Mem_tree | `Remove ] option
Sourcetype atom = [
  1. | atom_seen
  2. | `Unseen
]

atom_seen plus the time between operations. The sum of these is the total time.

Sourcetype phase = [
  1. | `Buildup
  2. | `Commit
]

The two major phases. The sum of these is the total time

Sourcetype t = [
  1. | `Add
  2. | `Remove
  3. | `Find
  4. | `Mem
  5. | `Mem_tree
  6. | `Checkout
  7. | `Copy
  8. | `Commit
  9. | `Unseen
  10. | `Buildup
  11. | `Block
]

All spans.

Redefined (i.e. no inheritance) for derivers.

Sourceval t : [ `Add | `Block | `Buildup | `Checkout | `Commit | `Copy | `Find | `Mem | `Mem_tree | `Remove | `Unseen ] Repr.t
Sourceval min : int
Sourceval max : int
Sourceval to_enum : [< `Add | `Block | `Buildup | `Checkout | `Commit | `Copy | `Find | `Mem | `Mem_tree | `Remove | `Unseen ] -> int
Sourceval of_enum : int -> [> `Add | `Block | `Buildup | `Checkout | `Commit | `Copy | `Find | `Mem | `Mem_tree | `Remove | `Unseen ] option
Sourceval all_atoms_seen : atom_seen list
Sourceval all : t list
Sourceval to_string : t -> string
Sourceval of_string : string -> (t, [ `Msg of string ]) result