. ../../testutils.sh

run TypeCase.idr
