2024-06-21 22:37:56 +03:00
|
|
|
`alias.term` makes a new name for a term.
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-21 22:37:56 +03:00
|
|
|
project/main> alias.term lib.builtins.bug foo
|
|
|
|
|
|
|
|
Done.
|
|
|
|
|
|
|
|
project/main> ls
|
|
|
|
|
|
|
|
1. foo (a -> b)
|
|
|
|
2. lib/ (643 terms, 92 types)
|
|
|
|
|
|
|
|
```
|
|
|
|
It won't create a conflicted name, though.
|
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-21 22:37:56 +03:00
|
|
|
project/main> alias.term lib.builtins.todo foo
|
|
|
|
|
|
|
|
⚠️
|
|
|
|
|
|
|
|
A term by that name already exists.
|
|
|
|
|
|
|
|
```
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-21 22:37:56 +03:00
|
|
|
project/main> ls
|
|
|
|
|
|
|
|
1. foo (a -> b)
|
|
|
|
2. lib/ (643 terms, 92 types)
|
|
|
|
|
|
|
|
```
|
2024-06-26 18:23:04 +03:00
|
|
|
You can use `debug.alias.term.force` for that.
|
2024-06-21 22:37:56 +03:00
|
|
|
|
2024-07-10 19:17:15 +03:00
|
|
|
``` ucm
|
2024-06-26 18:23:04 +03:00
|
|
|
project/main> debug.alias.term.force lib.builtins.todo foo
|
2024-06-21 22:37:56 +03:00
|
|
|
|
|
|
|
Done.
|
|
|
|
|
|
|
|
project/main> ls
|
|
|
|
|
|
|
|
1. foo (a -> b)
|
|
|
|
2. foo (a -> b)
|
|
|
|
3. lib/ (643 terms, 92 types)
|
|
|
|
|
|
|
|
```
|