module Highlighted_stmt: sig .. end
sig
end
val add : Tbl.key -> Cilutil.StmtSet.elt -> unit
Tbl.key -> Cilutil.StmtSet.elt -> unit
val mem : Tbl.key -> Cilutil.StmtSet.elt -> bool
Tbl.key -> Cilutil.StmtSet.elt -> bool
val mem_kf : Tbl.key -> bool
Tbl.key -> bool