module Highlighted_stmt: sig .. end
sig
end
val add : Tbl.key -> Cil_datatype.Stmt.Set.elt -> unit
Tbl.key -> Cil_datatype.Stmt.Set.elt -> unit
val mem : Tbl.key -> Cil_datatype.Stmt.Set.elt -> bool
Tbl.key -> Cil_datatype.Stmt.Set.elt -> bool
val mem_kf : Tbl.key -> bool
Tbl.key -> bool