12345678// Test moduledef Test.assert (condition : Bool) : Bool := condition#[test]def test_assert : Bool := Test.assert true