diff options
Diffstat (limited to 'toplevel/classes.mli')
-rw-r--r-- | toplevel/classes.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/classes.mli b/toplevel/classes.mli index fc7371cf7..7beb873e6 100644 --- a/toplevel/classes.mli +++ b/toplevel/classes.mli @@ -31,7 +31,7 @@ val declare_instance_constant : ?hook:(Globnames.global_reference -> unit) -> Id.t -> (** name *) Id.t Loc.located list option -> - polymorphic:bool -> + bool -> (* polymorphic *) Evd.evar_map -> (* Universes *) Constr.t -> (** body *) Term.types -> (** type *) @@ -41,7 +41,7 @@ val new_instance : ?abstract:bool -> (** Not abstract by default. *) ?global:bool -> (** Not global by default. *) ?refine:bool -> (** Allow refinement *) - polymorphic:bool -> + Decl_kinds.polymorphic -> local_binder list -> typeclass_constraint -> (bool * constr_expr) option -> |