Module Classes.Internal
Low level interface used by Add Morphism, do not use
val add_instance : Typeclasses.typeclass -> Typeclasses.hint_info -> bool -> Names.GlobRef.t -> unit
Classes.Internalval add_instance : Typeclasses.typeclass -> Typeclasses.hint_info -> bool -> Names.GlobRef.t -> unit