Operations on a complete commit graph.
Auxiliary types used by graph verification methods.
A complete commit graph.
A generalized position for use in Graph.
Graph