Please add a comment to explain what these things basically are, how they work, what operations they support etc.
-- sufficient to understand usage in the rest of the code, and check general correctness.