liquidhaskell-boot

Source
Contents
Index

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Transforms.RefSplit

Documentation

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

Produced by Haddock version 2.30.0