DeclareSchemeval declare_scheme : Libobject.locality -> string -> (Names.inductive * Names.GlobRef.t) -> unitval lookup_scheme : string -> Names.inductive -> Names.GlobRef.tval all_schemes : unit -> Names.GlobRef.t CString.Map.t Names.Indmap_env.t