setr

Abstract domain library for sets
IN THIS PACKAGE
Module SETr_DS_PSet . S . Ord
type t = elt
val compare : t -> t -> int