phino-0.0.152: test-resources/condition-packs/absolute-termination.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- expression: '[[ x -> T ]]' pattern: '[[ x -> !e1 ]]' condition: absolute: '!e1'
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com # SPDX-License-Identifier: MIT --- expression: '[[ x -> T ]]' pattern: '[[ x -> !e1 ]]' condition: absolute: '!e1'