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 *)
