dp_gr_flags, dp_gr_printdp_gr_main(), dp_gr_mod_main() 実行時におけるさまざま
なパラメタを設定, 参照する.
["Print",1,"NoSugar",1,...] なる形のリストで, 左から順に
設定される. パラメタ名は文字列で与える必要がある.
dp_gr_print() は, 特にパラメタ Print の値を直接設定, 参照
できる. これは, dp_gr_main() などをサブルーチンとして用いるユーザ
函数において, Print の値を見て, そのサブルーチンが中間情報の表示
を行う際に, 迅速にフラグを見ることができるように用意されている.
Go to the first, previous, next, last section, table of contents.