def render_source_comment(out, defn)
        return if defn.is_a?(AST::Definitions::Namespace)

        out.puts <<-EOS.strip_heredoc
          /// #{name defn} is an XDR #{defn.class.name.demodulize} defines as: