mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-13 16:15:15 +00:00
4 lines
233 B
Python
4 lines
233 B
Python
.cache: |T <: Proc|(user_function: T) -> T
|
|
.lru_cache: |T <: Proc|(user_function: T) -> T
|
|
.total_ordering: (cls: ClassType) -> ClassType
|
|
.reduce: |T: Type|(function!: T => T, iterable: Iterable(T), initializer := T or NoneType) -> T
|