assert

module error

assert: (condition: bool) => unit

The call assert(cond) terminates the execution with the string "failed assertion" if, and only if, the boolean condition cond is false.

some: <a>(_: option<a>) => unit

The call some(opt) terminates the execution with the string "failed assert some" if, and only if, opt is None().

none: <a>(_: option<a>) => unit

The call none(opt) terminates the execution with the string "failed assert none" if, and only if, opt is not None().