sig val name : Kwvalid.t val existing : Kwvalid.t val readable : Kwvalid.t val writeable : Kwvalid.t val no_dot_dot : Kwvalid.t val relative : Kwvalid.t val absolute : Kwvalid.t end