|
LLZK 0.1.0
Veridise's ZK Language IR
|
| Nllzk | |
| Ndataflow | |
| RScalarLatticeValue | |
| Ndebug | |
| RContextType | |
| RStructAnalysisType | Any type that is a subclass of StructAnalysis and provided a Context that matches ContextType |
| ROpComparable | |
| RNamedOpComparable | |
| ROpHashable | |
| RHasInterface | Restricts a template parameter to Op classes that implement the given OpInterface |
| RHasTrait | Restricts a template parameter to Op classes that have the given Trait |