sig
  val exists : Topkg_fpath.t -> bool Topkg_result.result
  val must_exist : Topkg_fpath.t -> Topkg_fpath.t Topkg_result.result
  val current : unit -> Topkg_fpath.t Topkg_result.result
  val set_current : Topkg_fpath.t -> unit Topkg_result.result
  val with_current :
    Topkg_fpath.t -> ('-> 'b) -> '-> 'Topkg_result.result
  val contents :
    ?dotfiles:bool ->
    ?rel:bool -> Topkg_fpath.t -> Topkg_fpath.t list Topkg_result.result
end