Struct Unrolled 

pub struct Unrolled<'a> {
    pub aig: &'a Aig,
    pub frames: usize,
    pub bind: &'a dyn Fn(&str, usize) -> Binding,
    pub claims: &'a [Claim],
    pub units: &'a [Unit],
}

A side unrolled frames clocks: what each named input is at each clock (bind), the output bits it claims, and its units. An input with no name is a fresh one of the side’s own at every clock, whatever bind says.

Fields

aig: &'a Aig

frames: usize

bind: &'a dyn Fn(&str, usize) -> Binding

claims: &'a [Claim]

units: &'a [Unit]