Module Register_gui.Highlighted_stmt


module Highlighted_stmt: sig .. end

val add : Tbl.key -> Cilutil.StmtSet.elt -> unit
val mem : Tbl.key -> Cilutil.StmtSet.elt -> bool
val mem_kf : Tbl.key -> bool