 #endc
 
 -- | Obtain the token name ANTLR string for the specified token.
--- > tokenGetAntlrString token
+--
+-- @
+--   tokenGetAntlrString token
+-- @
+--
 -- | For identifier tokens, the token string is interesting.  For
 -- | other tokens such as operator tokens, the token string is
 -- | uninteresting, and may not be present, the token identifier enum 


-- | Lookahead in the input stream at the token at the specified
-- | positive offset, where:
-- > LT input 1 
-- | is the current token.  Or a negative offset may be specified, where: 
-- > LT input (-1) 
-- | is the previous token.
-- @
--   foreign export ccall isUnsignedInt :: Ptr InputStream -> IO Bool
--   isUnsignedInt input =

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