module StmtSetLattice: sig .. end
sig
end
include struct ... end
val default : t
t
val empty : t
val cardinal : t -> int
t -> int
val single : O.elt -> t
O.elt -> t
val add : O.elt -> t -> t
O.elt -> t -> t