Module LUNVar

module LUNVar: sig .. end

module type S = sig .. end

module Make: 
functor (LU : LowerUpperNeg.S) -> 
functor (Var : GenVars.VAR  with type img = LU.t) -> S  
  with type elm = LU.elm
  and type obs = Var.obs