Options
All
  • Public
  • Public/Protected
  • All
Menu

Enumeration ProofsErrorCode

Index

Enumeration Members

DataDiffersFromProven: 904
InternalError: 903
InvalidData: 901
ProofCheckFailed: 902

Generated using TypeDoc