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