Move use chiquito::dsl::cb::* to circuit lambda

examples/fibonacci.rs

@@ -2,17 +2,14 @@ use std::hash::Hash;
 
 use chiquito::{
     ast::expr::*,
-    frontend::dsl::{
-        cb::*,   // functions for constraint building
-        circuit, // main function for constructing an AST circuit
-    },
+    frontend::dsl::circuit, // main function for constructing an AST circuit
     plonkish::backend::halo2::{chiquito2Halo2, ChiquitoHalo2Circuit}, /* compiles to
-                                                                       * Chiquito Halo2
-                                                                       * backend,
-                                                                       * which can be
-                                                                       * integrated into
-                                                                       * Halo2
-                                                                       * circuit */
+                             * Chiquito Halo2
+                             * backend,
+                             * which can be
+                             * integrated into
+                             * Halo2
+                             * circuit */
     plonkish::compiler::{
         cell_manager::SingleRowCellManager, // input for constructing the compiler
         compile,                            // input for constructing the compiler
@@ -36,6 +33,9 @@ fn fibo_circuit<F: Field + From<u64> + Hash>() -> (Circuit<F>, Option<Assignment
     // | 2 | 3 | 5 |
     // | 3 | 5 | 8 |
     // ...
+
+    use chiquito::frontend::dsl::cb::*; // functions for constraint building
+
     let fibo = circuit::<F, (), _>("fibonacci", |ctx| {
         // the following objects (forward signals, steptypes) are defined on the circuit-level
 
@@ -151,7 +151,7 @@ fn main() {
 
     let result_plaf = prover_plaf.verify_par();
 
-    println!("result = {:#?}", result);
+    println!("result = {:#?}", result_plaf);
 
     if let Err(failures) = &result_plaf {
         for failure in failures.iter() {