Type Alias Diff 

pub type Diff = i32;

Update multiplicity applied to a tuple. +1 inserts, -1 retracts; larger magnitudes scale the count in ring-valued semirings.