% $Id: Assert.oz,v 1.1 2007/10/14 17:56:08 leavens Exp leavens $ % AUTHOR: Gary T. Leavens declare local [Testing] = {Module.link ['Testing.ozf']} in Assert = Testing.assert Assume = Testing.assume end