setr

Abstract domain library for sets
IN THIS PACKAGE
Module SETr_DS
module CNF = SETr_DS_CNF
module Dequeue = SETr_DS_Dequeue
module HMap = SETr_DS_HMap
module HSet = SETr_DS_HSet
module HashCons = SETr_DS_HashCons
module PSet = SETr_DS_PSet
module SetOfSets = SETr_DS_SetOfSets
module List = SETr_DS_List