{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"float_var_len:"}]}
            float_var_len: inner.float_unification_table().len(),
            int_var_len: inner.int_unification_table().len(),
            const_var_len: inner.const_unification_table().len(),