Record
result-page
No description available.
record result-page {
next: option<string>,
page: option<s32>,
pagelen: option<s32>,
previous: option<string>,
query-substituted: option<bool>,
size: option<s64>,
values: option<list<code-search-result>>,
}Fields
| Name | Type | Description |
|---|---|---|
| next | option<string> | |
| page | option<s32> | |
| pagelen | option<s32> | |
| previous | option<string> | |
| query-substituted | option<bool> | |
| size | option<s64> | |
| values | option<list<code-search-result>> |