whalesong/web-world/js-impl.js

EXPORTS['big-bang'] = undefined;
EXPORTS['initial-view'] = undefined;
EXPORTS['stop-when'] = undefined;