(** 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