Module Classes.Internal

Low level interface used by Add Morphism, do not use
val add_instance : Typeclasses.typeclass -> Typeclasses.hint_info -> Hints.hint_locality -> Names.GlobRef.t -> unit