Fact

[Source]

This is an assertion that is always enabled. If the test is false, it will print any supplied error message to stderr and raise an error.

primitive val Fact

Constructors

create

[Source]

new val create()
: Fact val^

Returns

• Fact val^

---

Public Functions

apply

[Source]

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

Parameters

• test: Bool val
• msg: String val = ""

Returns

• None val ?

---

eq

[Source]

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

Parameters

• that: Fact val

Returns

• Bool val

---

ne

[Source]

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

Parameters

• that: Fact val

Returns

• Bool val

---