let atoms_list fmt l = List.iter (fprintf fmt "%a ; " atom) l