liquidhaskell-0.5.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Bare.SymSort
txRefSort :: (PPrint t, Reftable t) => HashMap TyCon RTyCon -> HashMap TyCon FTycon -> RType RTyCon RTyVar (UReft t) -> RType RTyCon RTyVar (UReft t) Source