Hierarchy

Properties

cause?: unknown
message: string
name: "ProofNotFound"
stack?: string

Generated using TypeDoc