mirror of
https://github.com/erg-lang/erg.git
synced 2025-10-02 21:44:34 +00:00
3 lines
122 B
Python
3 lines
122 B
Python
.bisect: |T|(a: [T; _], x: T) -> Nat
|
|
.bisect_left: |T|(a: [T; _], x: T) -> Nat
|
|
.bisect_right: |T|(a: [T; _], x: T) -> Nat
|