Definition
A string s can be
interpreted as a value of type path
iff s can be split into a sequence
of valid path components separated by
single forward slash "/"
(U+002F) characters. A valid
path component is defined by the valid_path_component
predicate:
A valid path is required to begin
with a single forward slash "/"
(U+002F), and must be longer than
a single character. If s is divided
into substrings delimited by U+002F
(such that U+002F does not appear
in any resulting substring), then for each substring
t,
valid_path_component(t) = true.