diff options
Diffstat (limited to 'intf/extend.mli')
-rw-r--r-- | intf/extend.mli | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/intf/extend.mli b/intf/extend.mli index 381d47dd1..3deb8233f 100644 --- a/intf/extend.mli +++ b/intf/extend.mli @@ -8,6 +8,8 @@ (** Entry keys for constr notations *) +type 'a entry = 'a Compat.GrammarMake(CLexer).entry + type side = Left | Right type gram_assoc = NonA | RightA | LeftA @@ -84,8 +86,8 @@ type ('self, 'a) symbol = | Aopt : ('self, 'a) symbol -> ('self, 'a option) symbol | Aself : ('self, 'self) symbol | Anext : ('self, 'self) symbol -| Aentry : 'a Entry.t -> ('self, 'a) symbol -| Aentryl : 'a Entry.t * int -> ('self, 'a) symbol +| Aentry : 'a entry -> ('self, 'a) symbol +| Aentryl : 'a entry * int -> ('self, 'a) symbol | Arules : 'a rules -> ('self, 'a index) symbol and ('self, _, 'r) rule = |