Hierarchy

  • Error
    • PROOF_TRANSFORMATION_ERROR

Constructors

Properties

Constructors

Properties

name: string = 'PROOF_TRANSFORMATION_ERROR'