% $Id: Assert.oz,v 1.4 2006/09/26 08:37:27 leavens Exp $ % AUTHOR: Gary T. Leavens declare local [Testing] = {Module.link ['Testing.ozf']} in Assert = Testing.assert Assume = Testing.assume end