package org.shedlang.compiler.patio.values; import org.shedlang.compiler.patio.types.PatioDataLayout; import java.util.List; /** * The offset, in bytes, of an offset in a data layout. */ public record PatioIntValueByteOffsetOf( PatioDataLayout layout, List elementOffsets ) implements PatioIntValue { }