LLZK 0.1.0
Veridise's ZK Language IR
|
Public Types | |
using | ConcreteEntity = ConcreteOp |
![]() | |
using | Interface |
Additional Inherited Members | |
![]() | |
FallbackModel () | |
Definition at line 32 of file OpInterfaces.h.inc.
using llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits::ExternalModel< ConcreteModel, ConcreteOp >::ConcreteEntity = ConcreteOp |
Definition at line 34 of file OpInterfaces.h.inc.