sig val existing : Kwapp.Valid.t option end