// returns list(pair(id, rule)) static L mL_rulesWithIDs(S listName) { ret mL_rules_addGlobalIDsIfAuthed(listName); }