read nav
          
          
            Signature: nav:NavigatorRec -> CftExecutable 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readDataSetEnumeratorProperties nav
          
          
            Signature: nav:NavigatorRec -> CfForEachLoopLogic 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readEnumeratorLogic _arg1
          
          
            Signature: _arg1:NavigatorRec -> CfForEachLoopLogic 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readFileEnumeratorProperties nav
          
          
            Signature: nav:NavigatorRec -> CfForEachLoopLogic 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readItemCollection nav
          
          
            Signature: nav:NavigatorRec -> CfForEachLoopLogic 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readNodeListEnumeratorProperties nav
          
          
            Signature: nav:NavigatorRec -> CfForEachLoopLogic 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readVariableEnumeratorProperties nav
          
          
            Signature: nav:NavigatorRec -> CfForEachLoopLogic 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readVariableMapping nav
          
          
            Signature: nav:NavigatorRec -> int * CfForEachLoopVariableMapping 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            readVariableMappings nav
          
          
            Signature: nav:NavigatorRec -> CfForEachLoopVariableMapping list 
                       
         | 
        
            
               
               
            
          
         | 
      
      
        
          
            taskNames 
          
          
            Signature: string list 
                       
         | 
        
            
               
               
            
          
         |