let
cbug assert_cond msg =
if
not assert_cond
then
raise (
SlicingTypes
.
Slicing_Internal_Error
msg)