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