ZkFold.Symbolic.Compiler.ArithmeticCircuit.Map

Documentation

mapVarArithmeticCircuit :: (Field a, Eq a, Functor o, Ord (Rep i), Representable i, Foldable i) => ArithmeticCircuit a p i o -> ArithmeticCircuit a p i o