sig val get : select_annot:bool -> select_slice_pragma:bool -> Project.t val rm_unused_globals : ?new_proj_name:string -> ?project:Project.t -> unit -> Project.t end