Module type Pi.DIR

type t
val open_in : t -> sw:Switch.t -> path -> File.ro_ty Std.r
val open_out : t -> sw:Switch.t -> append:bool -> create:create -> path -> File.rw_ty Std.r
val mkdir : t -> perm:File.Unix_perm.t -> path -> unit
val open_subtree : t -> sw:Switch.t -> path -> [ `Close | dir_ty ] Std.r
val read_dir : t -> path -> string list
val with_dir_entries : t -> path -> ((File.Stat.kind * string) Seq.t -> 'a) -> 'a
val stat : t -> follow:bool -> string -> File.Stat.t
val rmdir : t -> path -> unit
val rename : t -> path -> _ dir -> path -> unit
val chmod : t -> follow:bool -> perm:File.Unix_perm.t -> path -> unit
val chown : follow:bool -> ?uid:int64 -> ?gid:int64 -> t -> path -> unit
val pp : t Fmt.t
val native : t -> string -> string option
include PATH
val split : path -> (path * string) option

The implementation of Path.split.

val join : path -> path -> path

The implementation of Path.(/).