(** Stringification functions for AST elements. *)

(**  *)
val const2str : Types.const -> string

(**  *)
val op2str    : Types.operator -> string

(**  *)
val node2str  : Types.node -> string

(**  *)
val type2str  : Types.ctype -> string

(**  *)
val types2str : Types.ctype list -> string