module Language.LOL.Symantic.Trans.Bool ( module Language.LOL.Symantic.Trans.Bool.Const ) where import Language.LOL.Symantic.Trans.Bool.Const