module Insomnia.Typecheck ( Insomnia.Typecheck.Env.runTC
                          , Insomnia.Typecheck.Toplevel.checkToplevel
                          ) where

import Insomnia.Typecheck.Env
import Insomnia.Typecheck.Toplevel
