| Record Field | Description | 
| 
                
              
                  Full Usage: 
                   ListField type: 'T list | 
 | 
| Instance member | Description | 
| 
                
              
                  Full Usage: 
                   this.HeadReturns: 'T | 
 | 
| 
                
              
                  Full Usage: 
                   this.LengthReturns: int | 
 | 
| 
                
              
                  Full Usage: 
                   this.TailReturns: 'T list | 
 |