liquidhaskell-0.8.2.4: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Gradual.Uniquify

Synopsis

Documentation

uniquify :: (NFData a, Fixpoint a, Loc a) => SInfo a -> (GSpan, SInfo a) Source #

Make each gradual appearence unique -------------------------------------