Rearranged module export documentation for increased clarity
Rearranged module export documentation for increased clarity

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script