llzk::constrain::detail Namespace Reference

Common interface for operations that produce a constraint. More...

Classes
struct	ConstraintOpInterfaceInterfaceTraits
struct	ConstraintOpInterfaceTrait
class	EmitContainmentOpGenericAdaptorBase
class	EmitEqualityOpGenericAdaptorBase

Detailed Description

Common interface for operations that produce a constraint.