% $Id: NthNELTest.oz,v 1.1 2008/03/04 03:29:27 leavens Exp leavens $ \insert 'TestingNoStop.oz' \insert 'NthNEL.oz' {StartTesting 'MaxNEL'} {Test {NthNEL sing(3) zero} '==' 3} {Test {NthNEL cons(8 sing(3)) succ(zero)} '==' 3} {Test {NthNEL cons(0 cons(1 cons(2 sing(3)))) succ(succ(zero)) } '==' 2}