User (docs.other.menhirLib.MenhirLib.Printers.Make.User)

val print : string -> unit

print s is supposed to send the string s to some output channel.

val print_symbol : I.xsymbol -> unit

print_symbol s is supposed to print a representation of the symbol s.

val print_element : (I.element -> unit) option

print_element e is supposed to print a representation of the element e. This function is optional; if it is not provided, print_element_as_symbol (defined below) is used instead.