@@ -0,0 +1,3 @@
+Float function random()
+Integer function random_interval(a : Integer, b : Integer)
+Element function random_choice(list : Element)
