StackColor
type
M
fold_edge_facts_b
foldConflicts
type
IGraph
type
ClassCount
buildIGraphAndCounts
graphAddConflictSet
slotClass
mkSizeOf