liquidhaskell-0.6.0.0: src/Language/Haskell/Liquid/Prover/Names.hs
{-# LANGUAGE OverloadedStrings #-}
module Language.Haskell.Liquid.Prover.Names where
import Language.Fixpoint.Types
exprToBoolSym :: Symbol
exprToBoolSym = "exprToBool"
{-# LANGUAGE OverloadedStrings #-}
module Language.Haskell.Liquid.Prover.Names where
import Language.Fixpoint.Types
exprToBoolSym :: Symbol
exprToBoolSym = "exprToBool"