Language.Fixpoint.Sort

Checking Well-Formedness

checkSorted

checkSortedReft

checkSortedReftFull

pruneUnsortedReft