mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-20 03:25:18 +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
|