sig   val existing : Kwvalid.t   val subdir_of : dotok:bool -> string -> string -> bool   val subdir : ?dotok:bool -> string -> Kwvalid.t   val subtree : ?dotok:bool -> string -> Kwvalid.t end