{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"ExternalConstraintsData"}]}
        ExternalConstraintsData { region_constraints, opaque_types, normalization_nested_goals }
    }