module Directory: sig
.. end
Directory Validators
val existing : Kwvalid.t
existing
: considers valid any string that names an existing directory.
val subdir : ?dotok:bool -> string -> Kwvalid.t
subdir ?dotok dir
: considers valid any pathname that is an existing direct subdirectory of dir
dotok
: if true
, then the pathname "."
is also accepted (default: false
)
dir
: the directory to use as the root
val subtree : ?dotok:bool -> string -> Kwvalid.t
subtree ?dotok dir
: considers valid any pathname that is an existing subdirectory (recursively) of dir
dotok
: if true
, then the pathname "."
is also accepted (default: false
)
dir
: the directory to use as the root