llzk::constrain::detail::ConstraintOpInterfaceInterfaceTraits Struct Reference

Classes
struct	Concept
class	ExternalModel
class	FallbackModel
class	Model

Detailed Description

Definition at line 13 of file OpInterfaces.h.inc.

---

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

• build/include/llzk/Dialect/Constrain/IR/OpInterfaces.h.inc