functor (L : LEX) ->   sig     module Lex :       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     val trace : 'a -> 'b -> 'c -> unit   end