phino-0.0.152: test-resources/rewriter-packs/custom/size-of-bindings.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: |
  [[
    x -> [[
      y -> 1,
      z -> 2,
      w -> 3
    ]]
  ]]
output: |-
  3:x
rules:
  custom:
    - name: size of bindings
      pattern: '[[ x -> [[ !B1 ]] ]]'
      result: '[[ x -> !e1 ]]'
      where:
        - meta: '!e1'
          function: size
          args: ['!B1']