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