Module itc 

Interval Tree Clock (ITC) data structures.

Implements the ID tree, Event tree, and Stamp types from: Almeida, Baquero & Fonte (2008) “Interval Tree Clocks”.

• Id represents a partition of the interval [0, 1) among agents.
• Event represents causal history as a binary tree of counters.
• Stamp combines an ID tree and Event tree into an ITC stamp.

Trees are automatically normalized to their minimal representation. Operations (fork, join, event, peek, leq) are in a separate module.

Structs

Stamp

An ITC stamp: a pair of (ID tree, Event tree).

Enums

Event

An ITC event tree, tracking causal history as a binary tree of counters.

Id

An ITC identity tree, partitioning [0, 1) among participants.