| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| dispatch.py | 2025-10-21 08:59 | 193 | ||
| match.py | 2025-10-21 08:59 | 3.3K | ||
| more.py | 2025-10-21 08:59 | 2.9K | ||
| unification_tools.py | 2025-10-21 08:59 | 10K | ||
| utils.py | 2025-10-21 08:59 | 2.9K | ||
| variable.py | 2025-10-21 08:59 | 2.0K | ||
| __init__.py | 2025-10-21 08:59 | 196 | ||
| core.py | 2025-10-21 08:59 | 2.7K | ||
| multipledispatch/ | 2025-10-21 08:59 | - | ||
| __pycache__/ | 2025-10-21 08:59 | - | ||