Language.Fixpoint.Sort

Checking Well-Formedness

checkSorted

checkSortedReft

checkSortedReftFull

checkSortFull

pruneUnsortedReft