lang/m2/libm2/random.def

   1 DEFINITION MODULE random;
   2 (*
   3   Module:       random numbers
   4   Author:       Ceriel J.H. Jacobs
   5   Version:      $Id: random.def,v 1.3 1994/06/24 12:51:24 ceriel Exp $
   6 *)
   7
   8 PROCEDURE Random(): CARDINAL;
   9 (* Return a random CARDINAL
  10 *)
  11
  12 PROCEDURE Uniform (lwb, upb: CARDINAL): CARDINAL;
  13 (* Return CARDINALs, uniformly distributed between "lwb" and "upb".
  14    "lwb" must be smaller than "upb", or "lwb" is returned.
  15 *)
  16
  17 PROCEDURE StartSeed(seed: CARDINAL);
  18 (* Initialize the generator. You don't have to call this procedure, unless
  19    you don't want the system to pick a starting value for itself.
  20 *)
  21
  22 END random.