{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"num_binders:"}]}
                        num_binders: bound.len(Interner),
                    return Some(FnPointer {
                        sig: FnSig {