-
由 Brandon T. Willard 提交于
These changes enforce a strict "narrowing"-only conversion policy; i.e. `Type`s can be converted to equal or more specific types.
b920bd29
These changes enforce a strict "narrowing"-only conversion policy; i.e. `Type`s can be converted to equal or more specific types.
| 名称 |
最后提交
|
最后更新 |
|---|---|---|
| .. | ||
| sandbox | 正在载入提交数据... | |
| __init__.py | 正在载入提交数据... | |
| basic.py | 正在载入提交数据... | |
| callcache.py | 正在载入提交数据... | |
| destroyhandler.py | 正在载入提交数据... | |
| features.py | 正在载入提交数据... | |
| fg.py | 正在载入提交数据... | |
| kanren.py | 正在载入提交数据... | |
| null_type.py | 正在载入提交数据... | |
| op.py | 正在载入提交数据... | |
| opt.py | 正在载入提交数据... | |
| opt_utils.py | 正在载入提交数据... | |
| optdb.py | 正在载入提交数据... | |
| params_type.py | 正在载入提交数据... | |
| sched.py | 正在载入提交数据... | |
| toolbox.py | 正在载入提交数据... | |
| type.py | 正在载入提交数据... | |
| unify.py | 正在载入提交数据... | |
| utils.py | 正在载入提交数据... |