Codebase list coq / 3873b644-8132-4aeb-8923-3e8c3d0f286f/main gramlib / gramext.ml
3873b644-8132-4aeb-8923-3e8c3d0f286f/main

Tree @3873b644-8132-4aeb-8923-3e8c3d0f286f/main (Download .tar.gz)

gramext.ml @3873b644-8132-4aeb-8923-3e8c3d0f286f/mainraw · history · blame

(* 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