Index of exceptions

Error reporting functions raise this exception

Raised when Cil.lenOfArray fails either because the length is None or because it is a non-constant expression

Raised when one of the bitsSizeOf functions cannot compute the size of a type.