lart
lart copied to clipboard
lava: implement smashing array domain