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