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