mixinv2-library 0.2.0.post29.dev0__tar.gz

mixinv2_library-0.2.0.post29.dev0/.gitignore

@@ -0,0 +1,240 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[codz]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+#  Usually these files are written by a python script from a template
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.py.cover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Translations
+*.mo
+*.pot
+
+# Django stuff:
+*.log
+local_settings.py
+db.sqlite3
+db.sqlite3-journal
+
+# Flask stuff:
+instance/
+.webassets-cache
+
+# Scrapy stuff:
+.scrapy
+
+# Sphinx documentation
+**/docs/_build/
+**/docs/api/
+
+# PyBuilder
+.pybuilder/
+target/
+
+# Jupyter Notebook
+.ipynb_checkpoints
+.jupyter_ystore.db
+
+# IPython
+profile_default/
+ipython_config.py
+
+# pyenv
+#   For a library or package, you might want to ignore these files since the code is
+#   intended to run in multiple environments; otherwise, check them in:
+# .python-version
+
+# pipenv
+#   According to pypa/pipenv#598, it is recommended to include Pipfile.lock in version control.
+#   However, in case of collaboration, if having platform-specific dependencies or dependencies
+#   having no cross-platform support, pipenv may install dependencies that don't work, or not
+#   install all needed dependencies.
+#Pipfile.lock
+
+# UV
+#   Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#uv.lock
+
+# poetry
+#   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
+#   This is especially recommended for binary packages to ensure reproducibility, and is more
+#   commonly ignored for libraries.
+#   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
+#poetry.lock
+#poetry.toml
+
+# pdm
+#   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
+#   pdm recommends including project-wide configuration in pdm.toml, but excluding .pdm-python.
+#   https://pdm-project.org/en/latest/usage/project/#working-with-version-control
+#pdm.lock
+#pdm.toml
+.pdm-python
+.pdm-build/
+
+# pixi
+#   Similar to Pipfile.lock, it is generally recommended to include pixi.lock in version control.
+#pixi.lock
+#   Pixi creates a virtual environment in the .pixi directory, just like venv module creates one
+#   in the .venv directory. It is recommended not to include this directory in version control.
+.pixi
+
+# PEP 582; used by e.g. github.com/David-OConnor/pyflow and github.com/pdm-project/pdm
+__pypackages__/
+
+# Celery stuff
+celerybeat-schedule
+celerybeat.pid
+
+# SageMath parsed files
+*.sage.py
+
+# Environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# Spyder project settings
+.spyderproject
+.spyproject
+
+# Rope project settings
+.ropeproject
+
+# mkdocs documentation
+/site
+
+# mypy
+.mypy_cache/
+.dmypy.json
+dmypy.json
+
+# Pyre type checker
+.pyre/
+
+# pytype static type analyzer
+.pytype/
+
+# Cython debug symbols
+cython_debug/
+
+# PyCharm
+#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#  and can be added to the global gitignore or merged into this file.  For a more nuclear
+#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
+#.idea/
+
+# Abstra
+# Abstra is an AI-powered process automation framework.
+# Ignore directories containing user credentials, local state, and settings.
+# Learn more at https://abstra.io/docs
+.abstra/
+
+# Visual Studio Code
+#  Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore 
+#  that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
+#  and can be added to the global gitignore or merged into this file. However, if you prefer, 
+#  you could uncomment the following to ignore the entire vscode folder
+# .vscode/
+
+# Ruff stuff:
+.ruff_cache/
+
+# PyPI configuration file
+.pypirc
+
+# Cursor
+#  Cursor is an AI-powered code editor. `.cursorignore` specifies files/directories to
+#  exclude from AI features like autocomplete and code analysis. Recommended for sensitive data
+#  refer to https://docs.cursor.com/context/ignore-files
+.cursorignore
+.cursorindexingignore
+
+# Marimo
+marimo/_static/
+marimo/_lsp/
+__marimo__/
+
+.direnv/
+.devenv/
+result
+
+# LaTeX
+*.pdf
+*.aux
+*.fls
+*.fdb_latexmk
+*.synctex.gz
+*.bbl
+*.blg
+*.out
+*.dvi
+*.xcp
+
+# Local data
+data/
+trajectory/
+experiment_results.db
+
+.playwright-mcp/
+*.local.*
+.envrc.private
+.pre-commit-config.yaml
+
+# nixago: ignore-linked-files
+/.vscode/extensions.json
+
+/inheritance-calculus/arxiv-submission.tar.gz
+node_modules/

mixinv2_library-0.2.0.post29.dev0/PKG-INFO

@@ -0,0 +1,13 @@
+Metadata-Version: 2.4
+Name: mixinv2-library
+Version: 0.2.0.post29.dev0
+Summary: The MIXINv2 standard library — built-in definitions for MIXINv2
+Project-URL: Repository, https://github.com/Atry/overlay
+Author-email: "Yang, Bo" <yang-bo@yang-bo.com>
+License-Expression: MIT
+Classifier: Development Status :: 3 - Alpha
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: Python :: 3.14
+Requires-Python: >=3.13
+Requires-Dist: mixinv2==0.2.0.post29.dev0

mixinv2_library-0.2.0.post29.dev0/pyproject.toml

@@ -0,0 +1,45 @@
+[build-system]
+requires = ["hatchling", "uv-dynamic-versioning>=0.7.0", "editables"]
+build-backend = "hatchling.build"
+
+[tool.hatch.version]
+source = "uv-dynamic-versioning"
+
+[tool.uv-dynamic-versioning]
+vcs = "git"
+style = "pep440"
+bump = false
+fallback-version = "0.1.0"
+metadata = false
+
+[project]
+name = "mixinv2-library"
+dynamic = ["version", "dependencies"]
+description = "The MIXINv2 standard library — built-in definitions for MIXINv2"
+license = "MIT"
+requires-python = ">=3.13"
+authors = [
+    {name = "Yang, Bo", email = "yang-bo@yang-bo.com"},
+]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "License :: OSI Approved :: MIT License",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: Python :: 3.14",
+]
+
+[tool.hatch.metadata.hooks.uv-dynamic-versioning]
+dependencies = [
+    "mixinv2=={{ version }}",
+]
+
+[tool.uv]
+sources = {mixinv2 = {workspace = true}}
+
+[tool.hatch.build.targets.wheel]
+packages = ["src/mixinv2_library"]
+only-include = ["src/mixinv2_library"]
+sources = ["src"]
+
+[project.urls]
+Repository = "https://github.com/Atry/overlay"

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BinNatData.oyaml

@@ -0,0 +1,13 @@
+NumberFactory: []
+BinNatFactory:
+  - [NumberFactory]
+  - Product: []
+    Zero:
+      - [Product]
+    Even:
+      - [Product]
+      - half: [Product]
+    Odd:
+      - [Product]
+      - halfOfPredecessor: [Product]
+BinNat: [BinNatFactory, Product]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BinNatDecrement.oyaml

@@ -0,0 +1,45 @@
+- [BinNatVisitor]
+- BinNatFactory:
+    Product:
+      Decrement:
+        decreased: [Product]
+    Zero:
+      Decrement:
+        decreased: [Zero]
+    Even:
+      half:
+        Decrement:
+          decreased: [Product]
+      Decrement:
+        _HalfVisitor:
+          - [Even, ~, half, Visitor]
+          - VisitZero:
+              decreased: [Zero]
+            VisitEven:
+              decreased:
+                - [Odd]
+                - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
+            VisitOdd:
+              decreased:
+                - [Odd]
+                - halfOfPredecessor: [Even, ~, half, Decrement, decreased]
+            Visit:
+              decreased: [Product]
+        decreased: [_HalfVisitor, Visit, decreased]
+    Odd:
+      Decrement:
+        _HalfVisitor:
+          - [Odd, ~, halfOfPredecessor, Visitor]
+          - VisitZero:
+              decreased: [Zero]
+            VisitEven:
+              decreased:
+                - [Even]
+                - half: [Odd, ~, halfOfPredecessor]
+            VisitOdd:
+              decreased:
+                - [Even]
+                - half: [Odd, ~, halfOfPredecessor]
+            Visit:
+              decreased: [Product]
+        decreased: [_HalfVisitor, Visit, decreased]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BinNatEquality.oyaml

@@ -0,0 +1,65 @@
+- [BinNatVisitor]
+- [BooleanData]
+- BinNatFactory:
+    - Product:
+        Equal:
+          other: [Product]
+          equal: [BinNatEquality, ~, Boolean]
+      Zero:
+        Equal:
+          other: [Product]
+          _OtherVisitor:
+            - [other, Visitor]
+            - VisitZero:
+                equal: [BinNatEquality, ~, BooleanFactory, "True"]
+              VisitEven:
+                equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              VisitOdd:
+                equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              Visit:
+                equal: [BinNatEquality, ~, Boolean]
+          equal: [_OtherVisitor, Visit, equal]
+      Even:
+        half:
+          Equal:
+            equal: [BinNatEquality, ~, Boolean]
+        Equal:
+          other:
+            - [Product]
+            - half: [Product]
+          _recursiveEquality:
+            - [Even, ~, half, Equal]
+            - other: [Equal, ~, other, half]
+          _OtherVisitor:
+            - [other, Visitor]
+            - VisitZero:
+                equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              VisitEven:
+                equal: [_recursiveEquality, equal]
+              VisitOdd:
+                equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              Visit:
+                equal: [BinNatEquality, ~, Boolean]
+          equal: [_OtherVisitor, Visit, equal]
+      Odd:
+        halfOfPredecessor:
+          Equal:
+            equal: [BinNatEquality, ~, Boolean]
+        Equal:
+          other:
+            - [Product]
+            - halfOfPredecessor: [Product]
+          _recursiveEquality:
+            - [Odd, ~, halfOfPredecessor, Equal]
+            - other: [Equal, ~, other, halfOfPredecessor]
+          _OtherVisitor:
+            - [other, Visitor]
+            - VisitZero:
+                equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              VisitEven:
+                equal: [BinNatEquality, ~, BooleanFactory, "False"]
+              VisitOdd:
+                equal: [_recursiveEquality, equal]
+              Visit:
+                equal: [BinNatEquality, ~, Boolean]
+          equal: [_OtherVisitor, Visit, equal]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BinNatIncrement.oyaml

@@ -0,0 +1,21 @@
+- [BinNatData]
+- BinNatFactory:
+    Product:
+      increment: [Product]
+    Zero:
+      increment:
+        - [Odd]
+        - halfOfPredecessor:
+            - [Zero]
+    Even:
+      half:
+        increment: [Product]
+      increment:
+        - [Odd]
+        - halfOfPredecessor: [Even, ~, half]
+    Odd:
+      halfOfPredecessor:
+        increment: [Product]
+      increment:
+        - [Even]
+        - half: [Odd, ~, halfOfPredecessor, increment]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BinNatPlus.oyaml

@@ -0,0 +1,71 @@
+- [BinNatVisitor]
+- [BinNatIncrement]
+- BinNatFactory:
+    Product:
+      Plus:
+        sum: [Product]
+    Zero:
+      Plus:
+        addend: [Product]
+        sum: [addend]
+    Even:
+      half:
+        Plus:
+          sum: [Product]
+      Plus:
+        addend:
+          - [Product]
+          - half: [Product]
+          - halfOfPredecessor: [Product]
+        _AddendVisitor:
+          - [addend, Visitor]
+          - VisitZero:
+              sum: [Even, ~]
+            VisitEven:
+              _recursiveAddition:
+                - [Even, ~, half, Plus]
+                - addend: [Plus, ~, addend, half]
+              sum:
+                - [Even]
+                - half: [_recursiveAddition, sum]
+            VisitOdd:
+              _recursiveAddition:
+                - [Even, ~, half, Plus]
+                - addend: [Plus, ~, addend, halfOfPredecessor]
+              sum:
+                - [Odd]
+                - halfOfPredecessor: [_recursiveAddition, sum]
+            Visit:
+              sum: [Product]
+        sum: [_AddendVisitor, Visit, sum]
+    Odd:
+      halfOfPredecessor:
+        Plus:
+          sum: [Product]
+        increment: [Product]
+      Plus:
+        addend:
+          - [Product]
+          - half: [Product]
+          - halfOfPredecessor: [Product]
+        _AddendVisitor:
+          - [addend, Visitor]
+          - VisitZero:
+              sum: [Odd, ~]
+            VisitEven:
+              _recursiveAddition:
+                - [Odd, ~, halfOfPredecessor, Plus]
+                - addend: [Plus, ~, addend, half]
+              sum:
+                - [Odd]
+                - halfOfPredecessor: [_recursiveAddition, sum]
+            VisitOdd:
+              _recursiveAddition:
+                - [Odd, ~, halfOfPredecessor, Plus]
+                - addend: [Plus, ~, addend, halfOfPredecessor]
+              sum:
+                - [Even]
+                - half: [_recursiveAddition, sum, increment]
+            Visit:
+              sum: [Product]
+        sum: [_AddendVisitor, Visit, sum]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BinNatVisitor.oyaml

@@ -0,0 +1,19 @@
+- [BinNatData]
+- BinNatFactory:
+    Product:
+      Visitor:
+        Visit: []
+    Zero:
+      Visitor:
+        - VisitZero: []
+          Visit: [VisitZero]
+    Even:
+      half: [Product]
+      Visitor:
+        - VisitEven: []
+          Visit: [VisitEven]
+    Odd:
+      halfOfPredecessor: [Product]
+      Visitor:
+        - VisitOdd: []
+          Visit: [VisitOdd]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BooleanAnd.oyaml

@@ -0,0 +1,15 @@
+- [BooleanData]
+- BooleanFactory:
+    Product:
+      And:
+        other: [Product]
+        and: [Product]
+    "True":
+      And:
+        other: [Product]
+        and: [other]
+
+    "False":
+      And:
+        other: [Product]
+        and: ["False"]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BooleanData.oyaml

@@ -0,0 +1,5 @@
+BooleanFactory:
+  Product: []
+  "True": [Product]
+  "False": [Product]
+Boolean: [BooleanFactory, Product]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BooleanEquality.oyaml

@@ -0,0 +1,15 @@
+- [BooleanNegation]
+- BooleanFactory:
+    Product:
+      Equal:
+        other: [Product]
+        equal: [Product]
+    "True":
+      Equal:
+        other: [Product]
+        equal: [other]
+
+    "False":
+      Equal:
+        other: [Product]
+        equal: [other, not]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BooleanNegation.oyaml

@@ -0,0 +1,8 @@
+- [BooleanData]
+- BooleanFactory:
+    Product:
+      not: [Product]
+    "True":
+      not: ["False"]
+    "False":
+      not: ["True"]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BooleanOr.oyaml

@@ -0,0 +1,15 @@
+- [BooleanData]
+- BooleanFactory:
+    Product:
+      Or:
+        other: [Product]
+        or: [Product]
+    "True":
+      Or:
+        other: [Product]
+        or: ["True"]
+
+    "False":
+      Or:
+        other: [Product]
+        or: [other]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/BooleanVisitor.oyaml

@@ -0,0 +1,14 @@
+- [BooleanData]
+- BooleanFactory:
+    Product:
+      Visitor:
+        Visit: []
+    "True":
+      Visitor:
+        - VisitTrue: []
+          Visit: [VisitTrue]
+
+    "False":
+      Visitor:
+        - VisitFalse: []
+          Visit: [VisitFalse]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/NatData.oyaml

@@ -0,0 +1,10 @@
+NumberFactory: []
+NatFactory:
+  - [NumberFactory]
+  - Product: []
+    Zero:
+      - [Product]
+    Successor:
+      - [Product]
+      - predecessor: [Product]
+Nat: [NatFactory, Product]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/NatDecrement.oyaml

@@ -0,0 +1,11 @@
+- [NatData]
+- NatFactory:
+    Product:
+      Decrement:
+        decreased: [Product]
+    Zero:
+      Decrement:
+        decreased: [Zero]
+    Successor:
+      Decrement:
+        decreased: [Successor, ~, predecessor]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/NatEquality.oyaml

@@ -0,0 +1,39 @@
+- [NatVisitor]
+- NatFactory:
+    - Product:
+        Equal:
+          other: [Product]
+          equal: [NatEquality, ~, Boolean]
+      Zero:
+        Equal:
+          other: [Product]
+          _OtherVisitor:
+            - [other, Visitor]
+            - VisitZero:
+                equal: [NatEquality, ~, BooleanFactory, "True"]
+              VisitSuccessor:
+                equal: [NatEquality, ~, BooleanFactory, "False"]
+              Visit:
+                equal: [NatEquality, ~, Boolean]
+          equal: [_OtherVisitor, Visit, equal]
+      Successor:
+        predecessor:
+          Equal:
+            equal: [NatEquality, ~, Boolean]
+        Equal:
+          other:
+            - [Product]
+            - predecessor: [Product]
+          _recursiveEquality:
+            - [Successor, ~, predecessor, Equal]
+            - other: [Equal, ~, other, predecessor]
+          _OtherVisitor:
+            - [other, Visitor]
+            - VisitZero:
+                equal: [NatEquality, ~, BooleanFactory, "False"]
+              VisitSuccessor:
+                equal: [_recursiveEquality, equal]
+              Visit:
+                equal: [NatEquality, ~, Boolean]
+          equal: [_OtherVisitor, Visit, equal]
+- [BooleanData]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/NatPlus.oyaml

@@ -0,0 +1,22 @@
+- [NatData]
+- NatFactory:
+    Product:
+      Plus:
+        sum: [Product]
+    Zero:
+      Plus:
+        addend: [Product]
+        sum: [addend]
+    Successor:
+      predecessor:
+        Plus:
+          sum: [Product]
+      Plus:
+        addend: [Product]
+        _increasedAddend:
+          - [Successor]
+          - predecessor: [addend]
+        _recursiveAddition:
+          - [Successor, ~, predecessor, Plus]
+          - addend: [_increasedAddend]
+        sum: [_recursiveAddition, sum]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/NatVisitor.oyaml

@@ -0,0 +1,16 @@
+- [NatData]
+- NatFactory:
+    Product:
+      Visitor:
+        Visit: []
+    Zero:
+      Visitor:
+        - VisitZero: []
+          Visit: [VisitZero]
+
+    Successor:
+      predecessor: [Product]
+
+      Visitor:
+        - VisitSuccessor: []
+          Visit: [VisitSuccessor]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/NumberIsZero.oyaml

@@ -0,0 +1,12 @@
+- NumberFactory:
+    Zero: [Product]
+    Product:
+      Equal:
+        other: [Product]
+        equal: [NumberIsZero, ~, Boolean]
+      IsZero:
+        _equalZero:
+          - [Equal]
+          - other: [Zero]
+        isZero: [_equalZero, equal]
+- [Builtin, BooleanData]

mixinv2_library-0.2.0.post29.dev0/src/mixinv2_library/Builtin/__init__.py

@@ -0,0 +1,132 @@
+from typing import Protocol
+
+from mixinv2 import (
+    LexicalReference,
+    extend,
+    merge,
+    patch,
+    patch_many,
+    public,
+    scope,
+)
+from mixinv2._core import MappingScopeDefinition
+
+
+class _NatScope(Protocol):
+    pythonValues: frozenset[int]
+
+
+class _BinNatScope(Protocol):
+    pythonValues: frozenset[int]
+
+
+@public
+@extend(LexicalReference(path=("NatData",)))
+@scope
+class NatToPython:
+    @public
+    @scope
+    class NatFactory:
+        @public
+        @scope
+        class Product:
+            @public
+            @merge
+            @staticmethod
+            def pythonValues():
+                return frozenset
+
+        @public
+        @scope
+        class Zero:
+            @public
+            @patch
+            @staticmethod
+            def pythonValues():
+                return 0
+
+        @public
+        @scope
+        class Successor:
+            @public
+            @patch_many
+            @staticmethod
+            def pythonValues(predecessor: _NatScope):
+                return (value + 1 for value in predecessor.pythonValues)
+
+
+@public
+@extend(LexicalReference(path=("BinNatData",)))
+@scope
+class BinNatToPython:
+    @public
+    @scope
+    class BinNatFactory:
+        @public
+        @scope
+        class Product:
+            @public
+            @merge
+            @staticmethod
+            def pythonValues():
+                return frozenset
+
+        @public
+        @scope
+        class Zero:
+            @public
+            @patch
+            @staticmethod
+            def pythonValues():
+                return 0
+
+        @public
+        @scope
+        class Even:
+            @public
+            @patch_many
+            @staticmethod
+            def pythonValues(half: _BinNatScope):
+                return (value * 2 for value in half.pythonValues)
+
+        @public
+        @scope
+        class Odd:
+            @public
+            @patch_many
+            @staticmethod
+            def pythonValues(halfOfPredecessor: _BinNatScope):
+                return (value * 2 + 1 for value in halfOfPredecessor.pythonValues)
+
+
+@public
+@extend(LexicalReference(path=("BooleanData",)))
+@scope
+class BooleanToPython:
+    BooleanFactory = MappingScopeDefinition(
+        inherits=(),
+        is_public=True,
+        underlying={
+            "Product": MappingScopeDefinition(
+                inherits=(),
+                is_public=True,
+                underlying={
+                    "pythonValues": public(merge(lambda: frozenset)),
+                },
+            ),
+            "True": MappingScopeDefinition(
+                inherits=(),
+                is_public=True,
+                underlying={
+                    "pythonValues": public(patch(lambda: True)),
+                },
+            ),
+            "False": MappingScopeDefinition(
+                inherits=(),
+                is_public=True,
+                underlying={
+                    "pythonValues": public(patch(lambda: False)),
+                },
+            ),
+        },
+    )