ConformanceCheck

For the complete documentation index, see llms.txt

Type Alias: ConformanceCheck

type ConformanceCheck = 
  | "Existence"
  | "Purity"
  | "Provability"
  | "Arity"
  | "ArgumentType"
  | "ResultType";

Which rule a module failed. Ordered as they are applied, per circuit.