| 123456789101112131415 |
- (** Stringification functions for AST elements. *)
- (** Stringify an AST node (e.g. ["int a;"] for a [VarDec] node).
- [Block] node stringifications are multi-line, their contents are indented
- with four spaces for each nesting level. *)
- val node2str : Types.node -> string
- (** Stringify a CiviC type (e.g. ["bool"] or ["int"]). *)
- val type2str : Types.ctype -> string
- (** Stringify a constant value (e.g. ["1"] or ["1.0"]). *)
- val const2str : Types.const -> string
- (** Stringify an operator (e.g. ["+"]). *)
- val op2str : Types.operator -> string
|