{-# LANGUAGE OverloadedStrings #-}

module Language.Haskell.Liquid.Prover.Names where

import Language.Fixpoint.Types

exprToBoolSym :: Symbol
exprToBoolSym = "exprToBool"