add function scFun for building non-dependent function types "a -> b"
add function scFun for building non-dependent function types "a -> b"

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