sum.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: '[[ x -> 5, y -> 6 ]]'
output: |-
  ⟦
    z -> 12
  ⟧
rules:
  custom:
    - name: sum
      pattern: '[[ x -> !e1, y -> !e2 ]]'
      result: '[[ z -> !e3 ]]'
      where:
        - meta: '!e3'
          function: sum
          args:
            - '!e1'
            - '!e2'
            - '1'