Artifact bbde88dfada8ad26f1649edc48df27eddf198d06:

• File prand/prandFFI.urs — part of check-in [6d1c6f8af3] at 2015-02-14 03:27:09 on branch trunk — - add two pseudo-random number generation examples: one is simple, the other generates random numbers "continuously" using periodicT (user: beyert size: 279)

val rand : unit -> transaction int
(* Generates a random number, without a seed  *)

val srand : unit -> transaction unit
(* Initiates an effect that updates the random seed *)

val prand : unit -> transaction int
(* Generates a pseudo-random number, based on the newest seed *)