module Make: functor (I : CamlinternalMenhirLib.IncrementalEngine.EVERYTHING) -> functor (User : sig
let print: string => unit;
let print_symbol: I.xsymbol => unit;
let print_element: option(I.element => unit);
end) -> sig .. end
Parameters: |
I |
: |
CamlinternalMenhirLib.IncrementalEngine.EVERYTHING
|
User |
: |
sig
(* [print s] is supposed to send the string [s] to some output channel. *)
val print: string -> unit
(* [print_symbol s] is supposed to print a representation of the symbol [s]. *)
val print_symbol: I.xsymbol -> unit
(* [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. *)
val print_element: (I.element -> unit) option
end
|
|
let print_symbols: list(I.xsymbol) => unit;
let print_element_as_symbol: I.element => unit;
let print_stack: I.env('a) => unit;
let print_item: I.item => unit;
let print_production: I.production => unit;
let print_current_state: I.env('a) => unit;
let print_env: I.env('a) => unit;