Minimize dependence on type 'Term' in saw-core type checker
Minimize dependence on type 'Term' in saw-core type checker

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