diff options
| author | Jim Fehrle | 2020-11-22 11:45:41 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2020-11-22 11:45:41 -0800 |
| commit | 2ca8fd3597cdb7fc2e45d6df1c81e03bef9e8827 (patch) | |
| tree | 3522294d2d2935c9beacfe828cf86d030ecd8e42 /parsing/pcoq.mli | |
| parent | 9c841105fe2b51305abcba7bd8a574705dbd1adf (diff) | |
Remove unused parsing code
Diffstat (limited to 'parsing/pcoq.mli')
| -rw-r--r-- | parsing/pcoq.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli index d0ae594db1..df9084ab76 100644 --- a/parsing/pcoq.mli +++ b/parsing/pcoq.mli @@ -120,8 +120,6 @@ end (** Parse a string *) val parse_string : 'a Entry.t -> ?loc:Loc.t -> string -> 'a -val eoi_entry : 'a Entry.t -> 'a Entry.t -val map_entry : ('a -> 'b) -> 'a Entry.t -> 'b Entry.t type gram_universe [@@deprecated "Deprecated in 8.13"] [@@@ocaml.warning "-3"] @@ -182,7 +180,6 @@ module Prim : module Constr : sig val constr : constr_expr Entry.t - val constr_eoi : constr_expr Entry.t val lconstr : constr_expr Entry.t val binder_constr : constr_expr Entry.t val term : constr_expr Entry.t |