Questa eccezione � per errori di corto-circuito che si ritirano direttamente al top level, evitando qualsiasi gestione per l'eccezioni di tipo HolFail.
Essa consiste di una stringa (per convenzione in maiuscolo) che classifica l'eccezione i in modo generico, e di un messaggio che descrive l'eccezione in qualche dettaglio.| Record Field | Description |
Full Usage:
Data0
Field type: string * string
|
|