Module Datascope.StmtSetLattice

module StmtSetLattice: sig .. end
set of values to store for each data

include struct ... end
val default : 'a -> 'b -> 'c -> t
val defaultall : 'a -> t
val empty : t
val cardinal : t -> int
val single : O.elt -> t
val add : O.elt -> t -> t