Module Partitioned_dataflow

module Partitioned_dataflow: sig .. end

val signal_abort : unit -> unit

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