module Printers:sig
..end
module Make:
functor (
I
:
CamlinternalMenhirLib.IncrementalEngine.EVERYTHING
) ->
functor (
User
:
sig
val print : string -> unit
val print_symbol : I.xsymbol -> unit
val print_element : (I.element -> unit) option
end
) ->
sig
..end