Language.Fixpoint.Graph.Partition

Split constraints

data CPart a

partition

partition'

partitionN

Information about cores

data MCInfo

mcInfo

Debug

dumpPartitions