aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/coqast.mli
blob: 006b98b3e030a00487074b21bac8b23cd7e76432 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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)