Module `Parse__.Pretty`

val analyze_atom_name : string -> Parse__.Syntax.atom_name_type: analyze atom name and obtain associativity and precedence

val string_of_arg : int -> Parse__.Syntax.arg -> string: アトムの引数部分の pretty printer

val string_of_list : Parse__.Syntax.arg -> Parse__.Syntax.arg -> string: リストの略記法の pretty printer

val string_of_atom : Parse__.Syntax.arg -> string: アトムの pretty printer

val string_of_guard : Parse__.Syntax.arg list -> string: ガードの pretty printer．ただし，これはアトムのリストになっているガードのための pretty printer で，構文解析直後に得られるガード（プロセスとして構文解析される）のためのものではない．

val string_of_proc : int -> Parse__.Syntax.proc -> string: プロセスの pretty printer

val string_of_proc : Parse__.Syntax.proc -> string