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

check lammult.idr
