fn emit_shadow_update(&mut self) {
        for (id, shadow) in self.shadows.clone() {
            let value = self.values[&id.into()];
            let value = self.mk_prb(value);
            self.mk_st(shadow, value);
        }
    }
/// Emit the code to update the shadow variables of signals.
Emit the code to update the shadow variables of signals.
Emit the code to update the shadow variables of signals .
fn emit_shadow_update(&mut self) {
        for (id, shadow) in self.shadows.clone() {
            let value = self.values[&id.into()];
            let value = self.mk_prb(value);
            self.mk_st(shadow, value);
        }
    }
fn emit_shadow_update ( & mut self ) { for ( id , shadow ) in self . shadows . clone ( ) { let value = self . values [ & id . into ( ) ] ; let value = self . mk_prb ( value ) ; self . mk_st ( shadow , value ) ; } }
Emit the code to update the shadow variables of signals.
Emit the code to update the shadow variables of signals .
&mut self
&mut self