liquidhaskell-boot-0.9.10.1.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Transforms.RefSplit

Documentation

splitXRelatedRefs :: Symbol -> SpecType -> (SpecType, SpecType) Source #