Skip to main content

Module error

Module error 

Source
Expand description

Error types for the proof system.

Enums§

ProofError
Errors arising from proof operations.

Type Aliases§

Result
Convenience alias for results that may fail with a ProofError.