Function 'defaultTypedTerm' now returns a TypedTerm
Function 'defaultTypedTerm' now returns a TypedTerm

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