PropTesting

Imports

open Array;

Table of Contents

Types

(type)

type Random

def random : Random

def generateInt (r: Random) : Int

def generateFloat (r: Random) : Float

def generateList (r: Random) : Array Int

def countTrues (l: Array Bool) : Int

def repeat (v: a) (n: Int) : Array a

def ratio (a: Int) (b: Int) : Float

def forAllInts (fun: (a : Int) -> Bool) : Float

def forAllFloats (fun: (a : Float) -> Bool) : Float

def forAllLists (fun: (a : List) -> Bool) : Float