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
functor (
LU
:
LowerUpperNeg.S
) ->
Var
GenVars.VAR
with type img = LU.t
S
with type elm = LU.elm and type obs = Var.obs
GenVars.VAR with type img = LU.t
include LUVar.S
val set_neg : elm -> t -> unit
elm -> t -> unit
val disjoint : t -> t -> unit
t -> t -> unit
val get_neg : t -> elm option
t -> elm option