Language.Fixpoint.Types.Utils

Domain of a kvar

kvarDomain

Free variables in a refinement

reftFreeVars

Deconstruct a SortedReft

sortedReftConcKVars