aboutsummaryrefslogtreecommitdiff
path: root/gramlib/gramext.mli
blob: f9daf5bf10ea24857421fc969485c8c49b8ba704 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
(* camlp5r *)
(* gramext.mli,v *)
(* Copyright (c) INRIA 2007-2017 *)

type position =
    First
  | Last
  | Before of string
  | After of string
  | Level of string

type g_assoc = NonA | RightA | LeftA