sig
type t = Db_types.kernel_function * Cil_types.funbehavior
val get : t -> Cil_types.annotation_status
val set : t -> Cil_types.annotation_status -> unit
val update : t -> Cil_types.annotation_status -> unit
val get_all : t -> Cil_types.annotation_status list
val strongest : t -> Cil_types.annotation_status
end