Module Compute.DomCompute


module DomCompute: Dataflow.ForwardsDataFlow(DomComputer)

val reachedStatement : Cil_types.stmt -> Cil_types.stmt -> T.t -> unit
val compute : Cil_types.stmt list -> unit