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 : Powerset.S with type state = Domain.t-> 
functor (Transfer : Transfer_stmt.S with type state = Domain.t and type value = Domain.value-> 
functor (Logic : Transfer_logic.S with type state = Domain.t and type states = States.t-> sig .. end