Assert_failure Type

Namespace: HOL
Assembly: nholz.dll
Parent Module: Exn
Base Type: exn
All Interfaces: ISerializable , IStructuralEquatable

Exception raised when an assertion fails. The arguments are the location of the assert keyword in the source code (file name, line number, column number).

Record fields

Record Field Description

Data0

Full Usage: Data0

Field type: string
Field type: string

Data1

Full Usage: Data1

Field type: int
Field type: int

Data2

Full Usage: Data2

Field type: int
Field type: int