sig
  type t_in = Cil_types.code_annotation
  module Pscope :
    sig
      val self : Project.Computation.t
      val select :
        Kind.how ->
        Project.Computation.selection -> Project.Computation.selection
      val depend : Project.Computation.t -> unit
      val mark_as_computed : ?project:Project.project -> unit -> unit
      val is_computed : ?project:Project.project -> unit -> bool
      val do_not_save : unit -> unit
      module Datatype :
        sig
          type t
          val rehash : t -> t
          val descr : Unmarshal.t
          val copy : t -> t
          val name : string
          val register_comparable :
            ?compare:(t -> t -> int) ->
            ?equal:(t -> t -> bool) ->
            ?hash:(t -> int) -> ?physical_hash:(t -> int) -> unit -> unit
          val is_comparable_set : unit -> bool
          val hash : t -> int
          val physical_hash : t -> int
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val contain_project : (Project.project -> t -> bool) option ref
        end
      val name : string
      type data = Cilutil.StmtSet.t
      val set : data -> unit
      val get : unit -> data
      val clear : unit -> unit
    end
  module Pscope_warn :
    sig
      val self : Project.Computation.t
      val select :
        Kind.how ->
        Project.Computation.selection -> Project.Computation.selection
      val depend : Project.Computation.t -> unit
      val mark_as_computed : ?project:Project.project -> unit -> unit
      val is_computed : ?project:Project.project -> unit -> bool
      val do_not_save : unit -> unit
      module Datatype :
        sig
          type t
          val rehash : t -> t
          val descr : Unmarshal.t
          val copy : t -> t
          val name : string
          val register_comparable :
            ?compare:(t -> t -> int) ->
            ?equal:(t -> t -> bool) ->
            ?hash:(t -> int) -> ?physical_hash:(t -> int) -> unit -> unit
          val is_comparable_set : unit -> bool
          val hash : t -> int
          val physical_hash : t -> int
          val equal : t -> t -> bool
          val compare : t -> t -> int
          val contain_project : (Project.project -> t -> bool) option ref
        end
      val name : string
      type data = Cil_datatype.Code_Annotation.t list
      val set : data -> unit
      val get : unit -> data
      val clear : unit -> unit
    end
  val clear : unit -> unit
  val help : string
  val get_info : '-> string
  val compute :
    Db_types.kernel_function ->
    Cil_types.stmt -> Cil_types.code_annotation -> string
  val tag_stmt :
    Cilutil.StmtSet.elt -> string * [> `BACKGROUND of string ] list
  val tag_annot :
    Cil_types.code_annotation -> string * [> `BACKGROUND of string ] list
end