HOPS.Options

Description

Synopsis

• data Options = Options {
  • script :: String
  • prec :: Int
  • tagSeqs :: Maybe Int
  • forAll :: Bool
  • update :: Bool
  • version :: Bool
  • program :: [String]
  }
• getOptions :: IO Options

Documentation