. ../../../testutils.sh

check TypeInt.idr
