Pi.PATH
val split : path -> (path * string) option
The implementation of Path.split.
Path.split
val join : path -> path -> path
The implementation of Path.(/).
Path.(/)