Driver.hs revision e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0
{- | Hets command line interface.
"Driver.Options" command line options
"Driver.ReadFn" reader for Hets input files
"Driver.WriteFn" writer for files output by Hets
"Driver.Version" template for generating the Version module of Hets
-}
module Driver where