||| General definitions
module General

import public Data.List
import public Data.SortedMap

import public Gen.Abs
import public Gen.Common
import public Gen.Env
import public Gen.Errors
import public Gen.Eval
import public Gen.Parens
import public Gen.Plict
import public Gen.Scope
import public Gen.TypeChecker
