module NoTrace: functor (L : LEX) -> sig .. end
functor (
L
:
LEX
) ->
sig
end
module Lex: L
val trace : 'a -> 'b -> 'c -> unit
'a -> 'b -> 'c -> unit