Language.Haskell.Liquid.Constraint.Fresh

class Freshable m a

refreshTy

refreshVV

refreshArgs

refreshArgsTop

refreshHoles

freshTy_type

freshTy_expr

trueTy

addKuts