Module LowerUpperNeg


module LowerUpperNeg: sig .. end
Module that is the image of location set variables. You can collect positive, negative and upper bound locations. The module will merge then as needed using the union function.

module type SMALLSET = sig .. end
module type S = sig .. end
module Make: 
functor (Set : SMALLSET) -> S with type elm = Set.t