Classes.Internal
val add_instance : Typeclasses.typeclass -> Typeclasses.hint_info -> bool -> Names.GlobRef.t -> unit