diff options
Diffstat (limited to 'parsing/coqast.mli')
| -rw-r--r-- | parsing/coqast.mli | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/parsing/coqast.mli b/parsing/coqast.mli new file mode 100644 index 0000000000..006b98b3e0 --- /dev/null +++ b/parsing/coqast.mli @@ -0,0 +1,17 @@ + +(* $Id$ *) + +type loc = int * int + +type t = + | Node of loc * string * t list + | Nvar of loc * string + | Slam of loc * string option * t + | Num of loc * int + | Id of loc * string + | Str of loc * string + | Path of loc * string list* string + | Dynamic of loc * Dyn.t + +val hcons_ast: (string -> string) -> (t -> t) * (loc -> loc) + |