import { Tx } from "https://deno.land/x/lucid@0.7.7/src/mod.ts";
All assets should be of the same policy id. You can chain mintAssets events together if you need to mint assets with different policy ids. If the plutus script doesn't need a redeemer, you still neeed to specifiy the empty redeemer.