piece
The join: a pointwise GCounter join of every bucket cell plus the sum counters. Inherits the three lattice laws from GCounter, and is lossless — with distinct replicas, per-replica counts combine exactly, so the merged histogram equals the histogram of the combined stream.
Throws
if the two histograms' boundaries differ — the bucket indices of differently-bucketed histograms are incomparable.