haloumi-llzk 0.5.13

Haloumi backend to LLZK.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

use std::{cell::RefCell, ops::RangeFrom};

#[derive(Debug)]
pub struct Counter {
    inner: RefCell<RangeFrom<usize>>,
}

impl Default for Counter {
    fn default() -> Self {
        Self {
            inner: RefCell::new(0..),
        }
    }
}

impl Counter {
    pub fn next(&self) -> usize {
        self.inner.borrow_mut().next().unwrap()
    }
}