Language.Fixpoint.Types.Utils

Domain of a kvar

kvarDomain

Free variables in a refinement

reftFreeVars