Searched refs:optPrintAgdaDir (Results 1 – 2 of 2) sorted by relevance
85 | optPrintAgdaDir opts = return $ MainModePrintAgdaDir function
102 , optPrintAgdaDir :: Bool function241 , optPrintAgdaDir = False function453 printAgdaDirFlag o = return $ o { optPrintAgdaDir = True }