diff options
Diffstat (limited to 'gramlib/grammar.mli')
| -rw-r--r-- | gramlib/grammar.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gramlib/grammar.mli b/gramlib/grammar.mli index e115b9df43..fe06d1fa81 100644 --- a/gramlib/grammar.mli +++ b/gramlib/grammar.mli @@ -123,7 +123,6 @@ module type S = ('self, 'a) ty_symbol -> ('self, 'b) ty_symbol -> bool -> ('self, 'a list) ty_symbol val s_opt : ('self, 'a) ty_symbol -> ('self, 'a option) ty_symbol - val s_flag : ('self, 'a) ty_symbol -> ('self, bool) ty_symbol val s_self : ('self, 'self) ty_symbol val s_next : ('self, 'self) ty_symbol val s_token : Plexing.pattern -> ('self, string) ty_symbol |