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