module Partitioned_dataflow:sig
..end
val signal_abort : unit -> unit
module Computer:functor (
Domain
:
Abstract_domain.External
) ->
functor (
States
:
Powerset.S
with type state = Domain.t
) ->
functor (
Transfer
:
Transfer_stmt.S
with type state = Domain.t and type value = Domain.value
) ->
functor (
Init
:
Initialization.S
with type state := Domain.state
) ->
functor (
Logic
:
Transfer_logic.S
with type state = Domain.t and type states = States.t
) ->
functor (
Spec
:
sig
val treat_statement_assigns :Cil_types.assigns -> Domain.t -> Domain.t
end
) ->
sig
..end