Module type Loop_analysis.BINARY_SEMILATTICE

module type BINARY_SEMILATTICE = sig .. end

include Dataflows.JOIN_SEMILATTICE
val transfer_exp : Cil_types.exp -> (Cil_types.lval -> t option) -> t
val transfer_lval : Cil_types.lval -> (Cil_types.lval -> t option) -> t