sig val dup : unit -> Project.t end