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

check DataTypeOp.idr
check DataTypeProj.idr
