sig
  type token =
      INT of Big_int.big_int
    | FLOAT of float
    | IDENT of string
    | DOTTEDIDENT of string
    | REAL of float
    | PRIMEDVAR of string
    | TIMES
    | PLUS
    | MINUS
    | UMINUS
    | DIV
    | MOD
    | LT
    | GT
    | EQ
    | NEQ
    | LEQ
    | GEQ
    | LBRACE
    | RBRACE
    | LBRACK
    | RBRACK
    | OBRACK
    | CBRACK
    | COLON
    | SEMICOLON
    | COMMA
    | ARROW
    | PRIME
    | BTRUE
    | BFALSE
    | BAND
    | BOR
    | BNOT
    | EOF
    | NTSDECL
    | INTDECL
    | NATDECL
    | REALDECL
    | BOOLDECL
    | INITSTATE
    | FINALSTATE
    | ERRORSTATE
    | INPUTVARLIST
    | OUTPUTVARLIST
    | LOCALVARLIST
    | HAVOC
    | EXISTS
    | FORALL
    | IMPLY
    | EQUIV
    | LRARROW
    | DOT
    | INSTANCES
    | INIT
  val ntldescr :
    (Lexing.lexbuf -> Ntl_parser.token) ->
    Lexing.lexbuf -> Ntsint.Nts_int.nts_system
end