/** Lo que se vendió de un producto, en céntimos, en un conjunto de ventas. */
public record ProductTotal(String code, String name, long cents) {
}