(buf: &mut &[u8])
| 489 | univ_indices.push(get_u64(buf)?); |
| 490 | } |
| 491 | results.push(Expr::reference(ref_idx, univ_indices)); |
| 492 | }, |
| 493 | Expr::FLAG_REC => { |
| 494 | let rec_idx = get_u64(buf)?; |
| 495 | let mut univ_indices = |
| 496 | Vec::with_capacity(capped_capacity(tag.size, buf)); |
| 497 | for _ in 0..tag.size { |
| 498 | univ_indices.push(get_u64(buf)?); |
| 499 | } |
| 500 | results.push(Expr::rec(rec_idx, univ_indices)); |
| 501 | }, |
| 502 | Expr::FLAG_PRJ => { |