sig
  module Register :
    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
end