LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | Interface = ::llzk::constrain::ConstraintOpInterface |
Public Member Functions | |
FallbackModel () | |
Definition at line 25 of file OpInterfaces.h.inc.
using llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::FallbackModel< ConcreteOp >::Interface = ::llzk::constrain::ConstraintOpInterface |
Definition at line 27 of file OpInterfaces.h.inc.
|
inline |
Definition at line 28 of file OpInterfaces.h.inc.