module Operators:sig..end
open Path.Operators to use them.val (/:) : BatPathGen.PathType.t -> BatPathGen.PathType.ustring -> BatPathGen.PathType.tpath/:name is a path of name located in a directory path. For example:BatPathGen.PathType.root/:"var"/:"log" builds absolute path "/var/log"[user]/:".ssh" can be either:
user is an empty stringBatPathGen.PathType.default_validator is applied to the argument. name must not contain path separator (causes Illegal_char exception).Illegal_char (raised by validator on any bad character)val (//@) : BatPathGen.PathType.t -> BatPathGen.PathType.t -> BatPathGen.PathType.tbasepath//@relpath catenates two paths.
Windows: As a special exception it is possible to pass absolute path as relpath, provided that basepath is simple absolute path (i.e. of the form [...; ""]) and relpath is not simple absolute path.
Raises Invalid_argument if the second argument is an absolute path (Windows: see above).