Errors.ml « src - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/src/Errors.ml

blob: dcdc91023c08bcd1a72d0253c76dd4d57c10ab98 (plain)

exception IntegerOverflow of unit

exception Unimplemented of string

let unimplemented msg = raise (Unimplemented ("unimplemented: " ^ msg))