sig   module Lex : LEX   val trace :     Lex.lexeme Kwstack.t -> Lex.lexeme Kwstack.t -> Lex.lexbuf -> unit end