Language.Haskell.Liquid.Transforms.RefSplit
Contents
splitXRelatedRefs :: Symbol -> SpecType -> (SpecType, SpecType) #
Methods
showsPrec :: Int -> UReft Reft -> ShowS #
show :: UReft Reft -> String #
showList :: [UReft Reft] -> ShowS #