functor   (Lex : LEX) (T : sig                      module Lex :                        sig                          type d = Lex.d                          type lexbuf = Lex.lexbuf                          type lexeme = Lex.lexeme                          type cat = Lex.cat = Operator | Value | EOF                          val of_string : string -> lexbuf                          val of_channel : in_channel -> lexbuf                          val next : lexbuf -> lexeme * lexbuf                          val cat_of : lexeme -> cat                          val eval :                            d ->                            lexeme -> lexeme Kwstack.t -> lexeme Kwstack.t                          val table : lexeme -> lexeme -> srae                        end                      val trace :                        Lex.lexeme Kwstack.t ->                        Lex.lexeme Kwstack.t -> Lex.lexbuf -> unit                    end) ->   sig val parse : Lex.d -> T.Lex.lexbuf -> T.Lex.lexeme Kwstack.t end