diff options
Diffstat (limited to 'parsing/pcoq.mli')
| -rw-r--r-- | parsing/pcoq.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli index 4fb9d03594..63090b146f 100644 --- a/parsing/pcoq.mli +++ b/parsing/pcoq.mli @@ -168,6 +168,7 @@ module Constr : val binders_let_fixannot : (local_binder list * (name located option * recursion_order_expr)) Gram.Entry.e val delimited_binders_let : local_binder list Gram.Entry.e val typeclass_constraint : (name located * binding_kind * constr_expr) Gram.Entry.e + val appl_arg : (constr_expr * explicitation located option) Gram.Entry.e end module Module : |