Module DeclareScheme
val declare_scheme : string -> (Names.inductive * Names.Constant.t) array -> unitval lookup_scheme : string -> Names.inductive -> Names.Constant.tval all_schemes : unit -> Names.Indset.t
DeclareSchemeval declare_scheme : string -> (Names.inductive * Names.Constant.t) array -> unitval lookup_scheme : string -> Names.inductive -> Names.Constant.tval all_schemes : unit -> Names.Indset.t