93a3e8bc94
This PR forks a new version of the `zed_extension_api` in preparation for new changes. Release Notes: - N/A --------- Co-authored-by: Max <max@zed.dev>
10 lines
224 B
Plaintext
10 lines
224 B
Plaintext
interface common {
|
|
/// A (half-open) range (`[start, end)`).
|
|
record range {
|
|
/// The start of the range (inclusive).
|
|
start: u32,
|
|
/// The end of the range (exclusive).
|
|
end: u32,
|
|
}
|
|
}
|