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