Cryptol.Eval.Error

evalPanic

data EvalError

invalidIndex

typeCannotBeDemoted

divideByZero

wordTooWide

cryUserError