{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":")"}]}
) {
    attrs: AutoDiffAttrs,
    // We have to pick the name depending on whether we want forward or reverse mode autodiff.