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