liquidhaskell-0.8.2.4: Liquid Types for Haskell
Gradual.Uniquify
Synopsis
uniquify :: (NFData a, Fixpoint a, Loc a) => SInfo a -> (GSpan, SInfo a) Source #
Make each gradual appearence unique -------------------------------------