{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":")"}]}
) -> String {
    options: EncodeTyOptions,
    // u<length><name>[I<element-type1..element-typeN>E], where <element-type> is <subst>, as vendor