sig
  type propagation = (module Dataflow.ANALYSIS with type st = Dex.link)
  val make_dfa : Dex.dex -> Dex.code_item -> Propagation.propagation
  val to_map : string -> string Util.IM.t
end

Web Accessibility