% $Id: FromBy.oz,v 1.1 2011/04/21 18:37:21 leavens Exp leavens $ % FromBy produces an IStream of numbers % % AUTHOR: Gary T. Leavens declare fun lazy {FromBy N Step} %% REQUIRES: N and Step are the same type of number (e.g., both Ints) %% ENSURES: Result is the IStream N|(N+Step)|(N+2*Step)|... N|{FromBy N+Step Step} end