language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-07-23 13:06:06 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/crates/erg_compiler/lib/pystd/timeit.d.er
Shunsuke Shibayama a127564b31 Rename dir: compiler -> crates
2023-01-15 12:03:19 +09:00

1 line
75 B
Python
Raw Blame History

.timeit: (stmt: Str or Proc, setup := Str or Proc, number := Nat) -> Float
Reference in a new issue View git blame Copy permalink