liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Bare.Axiom
makeAxiom :: TCEmb TyCon -> LogicMap -> [CoreBind] -> GhcSpec -> BareSpec -> LocSymbol -> BareM ((Symbol, Located SpecType), [(Var, Located SpecType)], [HAxiom]) Source