Unsynthesizable group of operations for generating random data for testing
def random(x: A): A
Returns a uniformly distributed random value of type A with the given maximum value
def random(x: Int): A
def random(x: Long): A
def random(x: Float): A
def random(x: Double): A
def random(): A
Returns a uniformly distributed random value of type A. Fixed point types are unbounded, while floating point types are between 0 and 1