DeclareScheme
val declare_scheme : string -> (Names.inductive * Names.Constant.t) -> unit
val lookup_scheme : string -> Names.inductive -> Names.Constant.t
val all_schemes : unit -> Names.Constant.t CString.Map.t Names.Indmap.t