Fact

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

new val create()
: Fact val^

Returns


Public Functions

apply

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

Parameters

Returns


eq

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

Parameters

Returns


ne

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

Parameters

Returns