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