sig   type d   type lexbuf   type lexeme   type cat = Operator | Value | EOF   val of_string : string -> Kwparse.LEX.lexbuf   val of_channel : Pervasives.in_channel -> Kwparse.LEX.lexbuf   val next : Kwparse.LEX.lexbuf -> Kwparse.LEX.lexeme * Kwparse.LEX.lexbuf   val cat_of : Kwparse.LEX.lexeme -> Kwparse.LEX.cat   val eval :     Kwparse.LEX.d ->     Kwparse.LEX.lexeme ->     Kwparse.LEX.lexeme Kwstack.t -> Kwparse.LEX.lexeme Kwstack.t   val table : Kwparse.LEX.lexeme -> Kwparse.LEX.lexeme -> Kwparse.srae end