diff options
Diffstat (limited to 'parsing/tok.mli')
| -rw-r--r-- | parsing/tok.mli | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/parsing/tok.mli b/parsing/tok.mli new file mode 100644 index 00000000..9a1edec5 --- /dev/null +++ b/parsing/tok.mli @@ -0,0 +1,29 @@ +(************************************************************************) +(* v * The Coq Proof Assistant / The Coq Development Team *) +(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2010 *) +(* \VV/ **************************************************************) +(* // * This file is distributed under the terms of the *) +(* * GNU Lesser General Public License Version 2.1 *) +(************************************************************************) + +(** The type of token for the Coq lexer and parser *) + +type t = + | KEYWORD of string + | METAIDENT of string + | PATTERNIDENT of string + | IDENT of string + | FIELD of string + | INT of string + | STRING of string + | LEFTQMARK + | EOI + +val extract_string : t -> string +val to_string : t -> string +val print : Format.formatter -> t -> unit +val match_keyword : string -> t -> bool +(** for camlp5 *) +val of_pattern : string*string -> t +val to_pattern : t -> string*string +val match_pattern : string*string -> t -> string |