language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-07-13 16:15:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/crates/erg_compiler/lib/pystd/code.d.er
Shunsuke Shibayama f45c165499 feat: add some builtin python modules decls
2023-03-15 13:51:11 +09:00

1 line
84 B
Python
Raw Permalink Blame History

.compile_command: (source: Str, filename := Str, symbol := Str) -> Code or NoneType
Reference in a new issue View git blame Copy permalink