module File:sig..end
val existing : Kwapp.Valid.t optionexisting: considers valid any string that names an existing file.val readable : Kwapp.Valid.t optionreadable: considers valid any string that names an existing readable file.val writeable : Kwapp.Valid.t optionwriteable: considers valid any string that names an existing writeable file.