Expand description

Auxiliary types used by graph verification methods.

Structs

Enums