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_if_project :
    Project.project -> Project.Computation.INPUT.t -> bool
end