module Transfer:functor (
Valuation
:
Abstract_domain.Valuation
with type value = value and type origin = bool and type loc = location
) ->
sig
..end
Parameters: |
|
include Abstract_domain.Transfer
val call_action : Cil_types.stmt ->
Cvalue_transfer.value Eval.call ->
Valuation.t ->
state ->
(state, summary, Cvalue_transfer.value) Eval.action * Base.SetLattice.t