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