Факт

[Источник]

Это утверждение, которое всегда включено. Если тест ложный, он выведет любое предоставленное сообщение об ошибке в stderr и поднимет ошибку.

primitive val Fact

Конструкторы

создать

[Источник]

new val create()
: Fact val^

Возвращает

• Факт значение^

Публичные функции

применить

[Источник]

fun box apply(
  test: Bool val,
  msg: String val = "")
: None val ?

Параметры

• тест: Булево значение
• сообщение: Строка значение = ""

Возвращает

• Нет значение ?

равен

[Источник]

fun box eq(
  that: Fact val)
: Bool val

Параметры

• тот: Факт значение

Возвращает

• Булево значение

неравен

[Источник]

fun box ne(
  that: Fact val)
: Bool val

Параметры

• тот: Факт значение

Возвращает

• Булево значение