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