sig
val
boolean :
Kwvalid
.t
end