/** Un número entero: la hoja del árbol de una expresión. */
public record Num(int value) implements Expr {
}