Module Partitioned_dataflow

module Partitioned_dataflow: sig .. end
Mark the analysis as aborted. It will be stopped at the next safe point

val signal_abort : unit -> unit
Mark the analysis as aborted. It will be stopped at the next safe point
module Computer: 
functor (Domain : Abstract_domain.External) ->
functor (States : Partitioning.StateSet with type state = Domain.t) ->
functor (Transfer : Transfer_stmt.S with type state = Domain.t and type value = Domain.value and type summary = Domain.summary) ->
functor (Logic : Transfer_logic.S with type state = Domain.t and type states = States.t) -> sig .. end