module Make:
val print : string -> unit
val print_symbol : I.xsymbol -> unit
val print_element : (I.element -> unit) option
end) -> sig .. end
| 参数 |
I |
: |
CamlinternalMenhirLib.IncrementalEngine.EVERYTHING
|
用户 |
: |
sig (* [print s] 应该将字符串 [s] 发送到某个输出通道。 *) val print: string -> unit (* [print_symbol s] 应该打印符号 [s] 的表示。 *) val print_symbol: I.xsymbol -> unit (* [print_element e] 应该打印元素 [e] 的表示。此函数是可选的；如果未提供，则使用 [print_element_as_symbol]（定义如下）。 *) val print_element: (I.element -> unit) option end
|
|
val print_symbols : I.xsymbol list -> unit
val print_element_as_symbol : I.element -> unit
val print_stack : 'a I.env -> unit
val print_item : I.item -> unit
val print_production : I.production -> unit
val print_current_state : 'a I.env -> unit
val print_env : 'a I.env -> unit