module ProjectM36.DatabaseContext where import ProjectM36.Base import qualified Data.Map as M import qualified Data.HashSet as HS empty :: DatabaseContext empty = DatabaseContext { inclusionDependencies = M.empty, relationVariables = M.empty, atomFunctions = HS.empty }