setr

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