in src/core/ledger.ts [217:226]
indexes: parseIndexInfos(value.get("indexes")!.elements()),
};
}
function parseIndexInfos(values: dom.Value[]): IndexInfo[] {
return values.map((value) => parseIndexInfo(value));
}
function parseIndexInfo(value: dom.Value): IndexInfo {
return {