sig
  val get :
    (Cil_datatype.Fundec.Set.t -> cast_intro:bool -> Project.t)
    Pervasives.ref
  val compute : (unit -> unit) Pervasives.ref
end