W (axiom)
WOps.t [in Stdlib.MSets.MSetInterface]
WRawSets.In [in Stdlib.MSets.MSetInterface]
WRawSets.isok [in Stdlib.MSets.MSetInterface]
WRawSets.IsOk [in Stdlib.MSets.MSetInterface]
WSetsOn.In [in Stdlib.MSets.MSetInterface]
WSfun.add [in Stdlib.FSets.FSetInterface]
WSfun.cardinal [in Stdlib.FSets.FSetInterface]
WSfun.choose [in Stdlib.FSets.FSetInterface]
WSfun.diff [in Stdlib.FSets.FSetInterface]
WSfun.elements [in Stdlib.FSets.FSetInterface]
WSfun.empty [in Stdlib.FSets.FSetInterface]
WSfun.equal [in Stdlib.FSets.FSetInterface]
WSfun.eq_dec [in Stdlib.FSets.FSetInterface]
WSfun.exists_ [in Stdlib.FSets.FSetInterface]
WSfun.filter [in Stdlib.FSets.FSetInterface]
WSfun.fold [in Stdlib.FSets.FSetInterface]
WSfun.for_all [in Stdlib.FSets.FSetInterface]
WSfun.In [in Stdlib.FSets.FSetInterface]
WSfun.inter [in Stdlib.FSets.FSetInterface]
WSfun.is_empty [in Stdlib.FSets.FSetInterface]
WSfun.mapi_2 [in Stdlib.FSets.FMapInterface]
WSfun.mapi_1 [in Stdlib.FSets.FMapInterface]
WSfun.map_2 [in Stdlib.FSets.FMapInterface]
WSfun.map_1 [in Stdlib.FSets.FMapInterface]
WSfun.map2_2 [in Stdlib.FSets.FMapInterface]
WSfun.map2_1 [in Stdlib.FSets.FMapInterface]
WSfun.mem [in Stdlib.FSets.FSetInterface]
WSfun.partition [in Stdlib.FSets.FSetInterface]
WSfun.remove [in Stdlib.FSets.FSetInterface]
WSfun.singleton [in Stdlib.FSets.FSetInterface]
WSfun.subset [in Stdlib.FSets.FSetInterface]
WSfun.t [in Stdlib.FSets.FSetInterface]
WSfun.t [in Stdlib.FSets.FMapInterface]
WSfun.union [in Stdlib.FSets.FSetInterface]