2022-01-30 00:55:42 +00:00
|
|
|
open General
|
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
|
|
|
|
external raise : exn -> 'a = "%raise"
|
|
|
|
|
|
|
|
|
|
|
|
let failwith m = raise (Failure m)
|
2022-01-30 00:55:42 +00:00
|
|
|
|
|
|
|
let guarantee b =
|
|
|
|
if not b then
|
|
|
|
failwith "guarantee failed.\n"
|
|
|
|
|
|
|
|
let guarantee_equal a b =
|
|
|
|
if a <> b then
|
2022-02-04 03:06:51 +00:00
|
|
|
failwith "guarantee_equal failed."
|
|
|
|
|
|
|
|
|
|
|
|
|