bot kvars

helping functions for liquidhaskell pull request