 --       token1 <- lT input 1 >>= tokenGetType
 --       return (token1 == INT)
 -- @
+--
 tokenGetType :: (Enum e) => Ptr (CommonToken) -> IO e
 tokenGetType token = {#get ANTLR3_COMMON_TOKEN->type#} token >>= return . cToEnum
 
 -- | Obtain the character position in the source code line of where the token
 -- | was read, for non-imaginary tokens.
+--
 -- @
 --   foreign export ccall saTrue :: Ptr CommonToken -> IO (StablePtr TermInfo)
 --   saTrue token =

--       -- return the term, which is TmZero, or TmSucc TmZero, or TmSucc (TmSucc (...TmSucc TmZero))
--       newStablePtr (intV (Info l c) n)
-- @
tokenGetText :: Ptr (CommonToken) -> IO String
tokenGetText c =
  tokenGetAntlrString c >>= \s ->
  fromAntlrStringToString (AntlrString s)

-- | Obtain the token identifier for the specified token.
-- @
--   foreign export ccall isInt :: Ptr InputStream -> IO Bool
--   isInt input =

--       -- return the TmTrue term
--       newStablePtr (TmTrue (Info l c))
-- @
--
tokenGetCharPositionInLine :: Ptr (CommonToken) -> IO Int
tokenGetCharPositionInLine token = {#get ANTLR3_COMMON_TOKEN->charPosition#} token >>= return . cIntConv

-- | Obtain the the source code line of where the token was read, for non-imaginary tokens.
--
-- @
--   foreign export ccall saFalse :: Ptr CommonToken -> IO (StablePtr TermInfo)
--   saFalse token =
