setr

Abstract domain library for sets
IN THIS PACKAGE
val debug : bool
module type Comparable = sig ... end
module type S = sig ... end
module Make (C : Comparable) : sig ... end