Codebase list coq / 22a9921b-8439-4643-b89f-f8d6f2bc9c55/main gramlib / gramext.ml
22a9921b-8439-4643-b89f-f8d6f2bc9c55/main

Tree @22a9921b-8439-4643-b89f-f8d6f2bc9c55/main (Download .tar.gz)

gramext.ml @22a9921b-8439-4643-b89f-f8d6f2bc9c55/mainraw · history · blame

(* camlp5r *)
(* gramext.ml,v *)
(* Copyright (c) INRIA 2007-2017 *)

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

type g_assoc = NonA | RightA | LeftA