expose some helper functions from Simulator.What4
expose some helper functions from Simulator.What4

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