 --       -- 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 =

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

--       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 =
