Module Test 

type Test = iterative box choice {
  .assert => [String, Bool] self,
  .done => !,
  .id => ([type a, a] a) self,
  .leak => ([type a, a] !) self,
}

A test runner interface for writing tests.

  • .assert — check a condition with a label.
  • .done — finish the test.
  • .id — obtain the identity function (useful for testing type-generic code).
  • .leak — obtain a function that discards any value.