Started documenting the exposed functions in `Verifier.SAW.SharedTerm`
Started documenting the exposed functions in `Verifier.SAW.SharedTerm`

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