Module Register_gui.Highlighted_stmt

module Highlighted_stmt: sig .. end

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