sig val get : unit -> Cabs.file list val set : Cabs.file list -> unit val self : Project.Computation.t end