liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Bare.Expand
expandReft :: RReft -> BareM RReft Source
expandExpr :: Expr -> BareM Expr Source