sig
  type data
  type key
  val clear : unit -> unit
  val mem : Dataflow.StmtStartData.key -> bool
  val find : Dataflow.StmtStartData.key -> Dataflow.StmtStartData.data
  val replace :
    Dataflow.StmtStartData.key -> Dataflow.StmtStartData.data -> unit
  val add : Dataflow.StmtStartData.key -> Dataflow.StmtStartData.data -> unit
  val iter :
    (Dataflow.StmtStartData.key -> Dataflow.StmtStartData.data -> unit) ->
    unit
  val length : unit -> int
end