sig
  val compute_all : (unit -> unit) Pervasives.ref
  val compute_all_calldeps : (unit -> unit) Pervasives.ref
  val compute : (Db_types.kernel_function -> unit) Pervasives.ref
  val is_computed : (Db_types.kernel_function -> bool) Pervasives.ref
  val get : (Db_types.kernel_function -> Function_Froms.t) Pervasives.ref
  val access :
    (Locations.Zone.t -> Db_types.from_model -> Locations.Zone.t)
    Pervasives.ref
  val find_deps_no_transitivity :
    (Cil_types.kinstr -> Cil_types.exp -> Locations.Zone.t) Pervasives.ref
  val self : Project.Computation.t Pervasives.ref
  val pretty :
    (Format.formatter -> Db_types.kernel_function -> unit) Pervasives.ref
  val display : (Format.formatter -> unit) Pervasives.ref
  val update :
    (Locations.location ->
     Locations.Zone.t -> Db_types.from_model -> Db_types.from_model)
    Pervasives.ref
  module Callwise :
    sig
      val iter :
        ((Cil_types.kinstr -> Function_Froms.t -> unit) -> unit)
        Pervasives.ref
      val find : (Cil_types.kinstr -> Function_Froms.t) Pervasives.ref
    end
end