Functor Transfer_specification.Make

module Make: functor (Abstract : Abstractions.S) -> functor (States : Powerset.S  with type state = Abstract.Dom.t) -> functor (Logic : Transfer_logic.S  with type state = Abstract.Dom.t
                               and type states = States.t) -> sig .. end

Parameters:

`Abstract`	:	`Abstractions.S`
`States`	:	`Powerset.S with type state = Abstract.Dom.t`
`Logic`	:	`Transfer_logic.S with type state = Abstract.Dom.t and type states = States.t`

val treat_statement_assigns : Cil_types.assigns -> Abstract.Dom.t -> Abstract.Dom.t

val compute_using_specification : warn:bool ->
       Cil_types.kinstr ->
       (Abstract.Loc.location, Abstract.Val.t) Eval.call ->
       Cil_types.spec -> Abstract.Dom.t -> (Partition.key * Abstract.Dom.t) list