ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map
mapVarArithmeticCircuit :: MultiplicativeMonoid a => ArithmeticCircuit a -> ArithmeticCircuit a Source #
mapVarWitness :: [Natural] -> Map Natural a -> Map Natural a Source #