sig   val not : Kwvalid.t -> Kwvalid.t   val ( && ) : Kwvalid.t -> Kwvalid.t -> Kwvalid.t   val ( || ) : Kwvalid.t -> Kwvalid.t -> Kwvalid.t end