module type BINARY_SEMILATTICE = sig .. end
sig
end
include Dataflows.JOIN_SEMILATTICE
val transfer_exp : Cil_types.exp -> (Cil_types.lval -> t option) -> t
Cil_types.exp -> (Cil_types.lval -> t option) -> t
val transfer_lval : Cil_types.lval -> (Cil_types.lval -> t option) -> t
Cil_types.lval -> (Cil_types.lval -> t option) -> t