{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"param_env.and(type_op::normalize::Normalize"}]}
            param_env.and(type_op::normalize::Normalize { value }),
            category,
        );