diff options
Diffstat (limited to 'toplevel/classes.mli')
| -rw-r--r-- | toplevel/classes.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/toplevel/classes.mli b/toplevel/classes.mli index 24c51b31a3..d600b3104f 100644 --- a/toplevel/classes.mli +++ b/toplevel/classes.mli @@ -31,8 +31,9 @@ val declare_instance_constant : Impargs.manual_explicitation list -> (** implicits *) ?hook:(Globnames.global_reference -> unit) -> Id.t -> (** name *) + Id.t Loc.located list option -> bool -> (* polymorphic *) - Univ.universe_context_set -> (* Universes *) + Evd.evar_map -> (* Universes *) Constr.t -> (** body *) Term.types -> (** type *) Names.Id.t |