#ifndef Random_H
#define Random_H

/* Last edited on 2007-01-25 09:29:43 by stolfi */

/* Random number generators. */

#include <jsrandom.h>

typedef struct Random_t { } Random_t;
  /* !!! To be fleshed out. */
  
Random_t MakeRandomSource(int seed);
  /* Creates a new random number generator. */

#endif