val op2str : Types.operator -> string val node2str : Types.node -> string val type2str : Types.ctype -> string val types2str : Types.ctype list -> string
