Load and bring into scope the magic Cryptol `Array` module. Perhaps this should be configurable; or we should implement the ability to load modules by name to avoid needing this to be baked-in.
Load and bring into scope the magic Cryptol `Array` module.
Perhaps this should be configurable; or we should implement
the ability to load modules by name to avoid needing this
to be baked-in.

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