| Name | Size | Mode | Actions |
|---|---|---|---|
| multipledispatch/ | - | 0755 | rm |
| __pycache__/ | - | 0755 | rm |
| core.py | 2660 | 0644 | editdlrm |
| dispatch.py | 195 | 0644 | editdlrm |
| match.py | 3375 | 0644 | editdlrm |
| more.py | 2838 | 0644 | editdlrm |
| unification_tools.py | 10577 | 0644 | editdlrm |
| utils.py | 2799 | 0644 | editdlrm |
| variable.py | 1876 | 0644 | editdlrm |
| __init__.py | 185 | 0644 | editdlrm |