import python from Module m select m.toString(), m.getAnExport().toString()