--------------------------------------------------------------------------------
-- Schmitty the Solver
--
-- Exports the `Theory` and the `Reflectable` class, as well as the raw theory
-- which is required to implement the `Reflectable` class.
--------------------------------------------------------------------------------

module SMT.Theory where

open import SMT.Theory.Base public
open import SMT.Theory.Reflectable public
open import SMT.Theory.Raw.Base public