proofs::Scan< Logic > Class Template Reference

Public Types
using	EltW = typename Logic::EltW
using	BitW = typename Logic::BitW

Public Member Functions
	Scan (const Logic &l)
void	add (size_t n, EltW B[], const BitW S[], const EltW A[], const EltW ds[])
void	add (size_t n, EltW B[], const EltW ds[])

---

The documentation for this class was generated from the following file:

• lib/circuits/cbor_parser/scan.h