module type TRACE = sig .. end
The type of tracing modules. Implements a trace function executed in each step of
parsing / evaluation. For debugging.
module Lex: Kwparse.LEX
The lexer to be debugged.
val trace : Lex.lexeme Kwstack.t -> Lex.lexeme Kwstack.t -> Lex.lexbuf -> unit
Trace function.