sig val boolean : Kwvalid.t end