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 (1 l : Array Bool) : Int

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

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

def forAllInts (func : (a : Int) → Bool) : Float

def forAllFloats (func : (a : Float) → Bool) : Float

def forAllLists (func : (1 a : Array Int) → Bool) : Float