> {-# OPTIONS_HADDOCK show-extensions #-}
>
> module LTK.Decide (
>
> isTrivial
> , isFinite, isCofinite
>
> , isSP, isPT
>
> , isDef, isRDef, isGD
> , isSL, isLT, isLTT
>
> , isCB, isGLT, isLPT, isGLPT, isSF
>
> , isTDef, isTRDef, isTGD
> , isTSL, isTLT, isTLTT, isTLPT
>
> , isB, isLB, isTLB
>
> , isFO2, isFO2B, isFO2S
> ) where
> import LTK.Decide.Finite
> import LTK.Decide.SL
> import LTK.Decide.LT
> import LTK.Decide.LPT
> import LTK.Decide.LTT
> import LTK.Decide.TSL
> import LTK.Decide.TLT
> import LTK.Decide.TLTT
> import LTK.Decide.TLPT
> import LTK.Decide.SP
> import LTK.Decide.PT
> import LTK.Decide.SF
> import LTK.Decide.FO2
> import LTK.Decide.GLT
> import LTK.Decide.GLPT
> import LTK.Decide.GD
> import LTK.Decide.CB
> import LTK.Decide.B
> import LTK.Decide.Definite
> import LTK.Decide.Trivial