Language.Haskell.Liquid.Constraint.Qualifier

qualifiers

useSpcQuals