module type FORWARD_MONOTONE_PARAMETER = sig .. end
sig
end
include Dataflows.JOIN_SEMILATTICE
val transfer_stmt : Cil_types.stmt -> t -> (Cil_types.stmt * t) list
Cil_types.stmt -> t -> (Cil_types.stmt * t) list
val init : (Cil_types.stmt * t) list
(Cil_types.stmt * t) list