Run
bundle.sh
, then bring up your JavaScript console and call
defs