sig   type d = L.d   type lexbuf = L.lexbuf   type lexeme = L.lexeme   type cat = L.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