aboutsummaryrefslogtreecommitdiff
path: root/gramlib/gramext.ml
blob: c396bbab34de51bb72d8b6976f0695a82932ec4a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
(* camlp5r *)
(* gramext.ml,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