 Index Entry  Section 

=   
 ==>  5. Properties 

A   
 arrow  4.1 Randomvalue combinators 

B   
 boundary condition  1.1 Simple properties of integers 

C   
 char  4.2 Basis types 
 charByType  4.2 Basis types 
 charFrom  4.2 Basis types 
 charRange  4.2 Basis types 
 check  1.3 The QCheck structure 
 checkGen  1.3 The QCheck structure 
 checkOne  1.3 The QCheck structure 
 choose  4.1 Randomvalue combinators 
 choose'  4.1 Randomvalue combinators 
 chooseL  4.1 Randomvalue combinators 
 chooseL'  4.1 Randomvalue combinators 
 chop  3. Specifying test cases 
 classify  5.1 Statistical distribution 
 classify'  5.1 Statistical distribution 
 co  4. Generating test cases 
 cobool  4.1 Randomvalue combinators 
 cochar  4.2 Basis types 
 coint  4.2 Basis types 
 colist  4.1 Randomvalue combinators 
 column_width  6. Settings 
 compatibility  2. Installation 
 Compilation Manager  2.1 SML/NJ 
 conditional  1.1 Simple properties of integers 
 context  1.3 The QCheck structure 
 control  6. Settings 
 coopt  4.1 Randomvalue combinators 
 costring  4.2 Basis types 
 cosubstring  4.2 Basis types 
 counterexample  1.1 Simple properties of integers 
 coword  4.2 Basis types 

D   
 dateFromYear  4.2 Basis types 
 DateTime structure  4.2 Basis types 
 dirstream  3. Specifying test cases 

E   
 examples  6. Settings 

F   
 failure  5.2 Results 
 Files structure  1.3 The QCheck structure 
 FILES_SIG signature  3. Specifying test cases 
 filestream  3. Specifying test cases 
 filter  3. Specifying test cases 
 filter  4.1 Randomvalue combinators 
 finite  4.2 Basis types 
 flip  4.1 Randomvalue combinators 
 flip'  4.1 Randomvalue combinators 
 frac  4.2 Basis types 

G   
 gen  4. Generating test cases 
 Gen structure  1.3 The QCheck structure 
 gen_max  6. Settings 
 gen_target  6. Settings 
 GENERATOR_SIG signature  4. Generating test cases 
 get  6. Settings 

I   
 implies  5. Properties 
 int  4.2 Basis types 
 Int structures  4.2 Basis types 

L   
 lift  4.1 Randomvalue combinators 
 limit  4.1 Randomvalue combinators 
 limit'  4.1 Randomvalue combinators 
 list  4.1 Randomvalue combinators 

M   
 map  3. Specifying test cases 
 map  4.1 Randomvalue combinators 
 map2  4.1 Randomvalue combinators 
 map3  4.1 Randomvalue combinators 
 map4  4.1 Randomvalue combinators 
 MLton  2.3 MLton 
 month  4.2 Basis types 
 Moscow ML  2.2 Moscow ML 

N   
 neg  4.2 Basis types 
 neg  4.2 Basis types 
 new  4. Generating test cases 
 nextFile  3. Specifying test cases 
 nextLine  3. Specifying test cases 
 nonneg  4.2 Basis types 
 nonneg  4.2 Basis types 
 nonpos  4.2 Basis types 
 nonpos  4.2 Basis types 

O   
 openDir  3. Specifying test cases 
 openFile  3. Specifying test cases 
 option  4.1 Randomvalue combinators 
 outstream  6. Settings 

P   
 Poly/ML  2.4 Poly/ML 
 polymorphic  1.1 Simple properties of integers 
 pos  4.2 Basis types 
 pos  4.2 Basis types 
 pred  5. Properties 
 pred2  5. Properties 
 prop  5. Properties 

Q   
 QCHECK_SIG signature  1.3 The QCheck structure 

R   
 rand  4. Generating test cases 
 range  4. Generating test cases 
 reader  1.3 The QCheck structure 
 real  4.2 Basis types 
 Real structure  4.2 Basis types 
 recursive types  4.3 Recursive types 
 rep  1.3 The QCheck structure 
 result  5.2 Results 

S   
 select  4.1 Randomvalue combinators 
 selectL  4.1 Randomvalue combinators 
 set  6. Settings 
 Settings structure  1.3 The QCheck structure 
 show_stats  6. Settings 
 SML/NJ  2.1 SML/NJ 
 start  4.1 Randomvalue combinators 
 stats  5.2 Results 
 stream  4.1 Randomvalue combinators 
 string  4.2 Basis types 
 style  6. Settings 
 substring  4.2 Basis types 
 success  5.2 Results 
