A hacky way of having multiple behaviors for a function.
A hacky way of having multiple behaviors for a function.

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