{- ------------------------------
   Parsing zero-arg terms
   ------------------------------ -}

parseTrue  = reserved "true"  >> return TmTrue
parseTrue  = reserved "true"  >> return TmTrue
parseTrue  = reserved "true"  >> return TmTrue