sig val existing : Kwapp.Valid.t option val readable : Kwapp.Valid.t option val writeable : Kwapp.Valid.t option end