{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":")"}]}
) -> String {
    options: TypeIdOptions,
    // A name is mangled by prefixing "_Z" to an encoding of its name, and in the case of functions