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