mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-13 16:15:15 +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
|