Module type LUNVar.S

module type S = sig .. end

include LUVar.S

val set_neg : elm -> t -> unit

val disjoint : t -> t -> unit

val get_neg : t -> elm option