RosettaCodeData/Task/Assertions/Standard-ML/assertions.ml

fun assert cond =
  if cond then () else raise Fail "assert"

val () = assert (x = 42)