sig
  type t
  val create : unit -> Project.Computation.INPUT.t
  val clear : Project.Computation.INPUT.t -> unit
  val get : unit -> Project.Computation.INPUT.t
  val set : Project.Computation.INPUT.t -> unit
  val clear_some_projects :
    (Project.project -> bool) -> Project.Computation.INPUT.t -> bool
end