Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
renameFresh :: Term -> Term Source #
mkSelectConst :: Type -> Term Source #
isSelectConst :: Term -> Bool Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
renameFresh :: Term -> Term Source #
mkSelectConst :: Type -> Term Source #
isSelectConst :: Term -> Bool Source #