Skip to content

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


Public Functions

apply

[Source]

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

Parameters

Returns


eq

[Source]

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

Parameters

Returns


ne

[Source]

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

Parameters

Returns