LLZK 0.1.0
Veridise's ZK Language IR
|
▼Nllzk | |
▼Ndataflow | |
RScalarLatticeValue | |
▼Ndebug | |
RStructAnalysisType | Any type that is a subclass of StructAnalysis |
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 |