mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-07 20:29:06 +00:00
5 lines
121 B
Python
5 lines
121 B
Python
.get_file_dirname!: () => Str
|
|
|
|
.path_join: (__a: Str, path: Str) => Str
|
|
|
|
.str_slice: (str: Str, first_index: Nat) => Str
|