Language.Fixpoint.Graph.Partition

Split constraints

data CPart c a

partition

partition'

partitionN

Information about cores

data MCInfo

mcInfo

Debug

dumpPartitions