Method append_integer_vars

src/program/shim.rs:229–233

(&mut self, integers: Vec<T>)

    }

    pub fn append_integer_vars<T: Integer>(&mut self, integers: Vec<T>) {
        for integer in integers {
            self.append_integer_var(integer);
        }
    }

    pub fn append_integer_array<T: Integer>(&mut self, integers: Vec<T>) {
        let ty_name = std::any::type_name::<T>();