Module type Dataflows.FORWARD_MONOTONE_PARAMETER

module type FORWARD_MONOTONE_PARAMETER = sig .. end

include Dataflows.JOIN_SEMILATTICE
val transfer_stmt : Cil_types.stmt -> t -> (Cil_types.stmt * t) list
val init : (Cil_types.stmt * t) list