module Language.Inferno.Solver
       (module Language.Inferno.SolverM,
        module Language.Inferno.M.Generalization,
        module Language.Inferno.M.SolverHi)
       where

import Language.Inferno.SolverM
import Language.Inferno.M.SolverHi
import Language.Inferno.M.Generalization (trivial)


module Language.Inferno.Solver
       (module Language.Inferno.SolverM,
        module Language.Inferno.M.Generalization,
        module Language.Inferno.M.SolverHi)
       where

import Language.Inferno.SolverM
import Language.Inferno.M.SolverHi
import Language.Inferno.M.Generalization (trivial)

