module OrdIS: Stdlib.Set.Make(Stdlib.Int)
Stdlib.Set.Make
(
Stdlib.Int
)
Notations for Ordered sets of integers