implement scApplyFn field of mkSharedContext function
implement scApplyFn field of mkSharedContext function

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