R (section)
RawSets.Spec [in Stdlib.MSets.MSetInterface]
Raw.Elt [in Stdlib.FSets.FMapWeakList]
Raw.Elt [in Stdlib.FSets.FMapAVL]
Raw.Elt [in Stdlib.FSets.FMapList]
Raw.Elt2 [in Stdlib.FSets.FMapWeakList]
Raw.Elt2 [in Stdlib.FSets.FMapList]
Raw.Elt3 [in Stdlib.FSets.FMapWeakList]
Raw.Elt3 [in Stdlib.FSets.FMapList]
Raw.Invariants [in Stdlib.FSets.FMapAVL]
Raw.Map2 [in Stdlib.FSets.FMapAVL]
Raw.Map2_opt [in Stdlib.FSets.FMapAVL]
Raw.Proofs.Elt [in Stdlib.FSets.FMapAVL]
Raw.Proofs.Map [in Stdlib.FSets.FMapAVL]
Raw.Proofs.Mapi [in Stdlib.FSets.FMapAVL]
Raw.Proofs.Map_option [in Stdlib.FSets.FMapAVL]
Raw.Proofs.Map2 [in Stdlib.FSets.FMapAVL]
Raw.Proofs.Map2_opt [in Stdlib.FSets.FMapAVL]
Raw2SetsOn.Spec [in Stdlib.MSets.MSetInterface]
Reduce [in Stdlib.btauto.Algebra]
ReDun [in Stdlib.Lists.List]
Reflexive_Symmetric_Transitive_Closure [in Stdlib.Relations.Relation_Operators]
Reflexive_Transitive_Closure [in Stdlib.Relations.Relation_Operators]
Reflexive_Closure [in Stdlib.Relations.Relation_Operators]
Relations_2 [in Stdlib.Sets.Relations_2]
Relations_3 [in Stdlib.Sets.Relations_3]
Relations_1 [in Stdlib.Sets.Relations_1]
RelCompFun_Instances [in Stdlib.Classes.RelationPairs]
RelProd_Instances [in Stdlib.Classes.RelationPairs]
Repeat [in Stdlib.Lists.List]
Respecting [in Stdlib.Classes.CEquivalence]
Ring [in Stdlib.setoid_ring.Ncring]
Ring_power [in Stdlib.setoid_ring.Ncring]