sig
  type t
  val get_all :
    ?who:Project.Computation.t list ->
    Properties_status.S.t ->
    (Cil_types.annotation_status * Project.Computation.t) list
  val get_all_status :
    ?who:Project.Computation.t list ->
    Properties_status.S.t -> Cil_types.annotation_status list
  val get_all_states :
    ?who:Project.Computation.t list ->
    Properties_status.S.t -> Project.Computation.t list
  val strongest :
    ?who:Project.Computation.t list ->
    Properties_status.S.t ->
    Cil_types.annotation_status * Project.Computation.t
  val pretty_all : Format.formatter -> Properties_status.S.t -> unit
  val compare : Properties_status.S.t -> Properties_status.S.t -> int
  val equal : Properties_status.S.t -> Properties_status.S.t -> bool
  val hash : Properties_status.S.t -> int
  val add_dependency : Project.Computation.t -> Project.Computation.t -> unit
  val self : Project.Computation.t
end