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