phino-0.0.152: test-resources/xmir-parsing-packs/termination-base.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
xmir: |
  <object>
    <o name="app">
      <o name="x" base="⊥"/>
    </o>
  </object>
phi: '[[ app -> [[ x -> T ]] ]]'