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