where-without-args.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
# A 'where' extension may omit the 'args' key entirely; it defaults to an
# empty list. 'random-tau' takes no arguments, so it is written argless.
name: where-without-args
pattern: |
  [[ x -> !e1 ]]
result: |
  [[ x -> !e1, !t1 -> [[ ]], ^ -> ? ]]
where:
  - meta: '!t1'
    function: random-tau