DEFINITION MODULE RND;

PROCEDURE RND() : REAL;
(* returns a random number in range [0..1) *)


END (* DEFINITION MODULE *) RND.
