mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-14 00:25:17 +00:00
5 lines
320 B
Python
5 lines
320 B
Python
.safe_repr: (obj: Obj, short := Bool) -> Str
|
|
.strclass: (cls: ClassType) -> Str
|
|
.sorted_list_difference: |N <: Float|(expected: [N; _], actual: [N; _]) -> ([N; _], [N; _])
|
|
.unordered_list_difference: |N <: Float|(expected: [N; _], actual: [N; _]) -> ([N; _], [N; _])
|
|
.three_way_cmp: |N <: Ord|(x: N, y: N) -> {-1, 0, 1}
|