src/main/java/org/shedlang/compiler/patio/PatioDataElementMutableDefinition.java


1
2
3
4
5
6
7
8
9
10
11
12

package org.shedlang.compiler.patio;

import org.shedlang.compiler.patio.types.PatioDataValue;
import org.shedlang.compiler.sources.Source;

public record PatioDataElementMutableDefinition(
    String name,
    PatioVisibility visibility,
    PatioDataValue initialValue,
    Source source
) implements PatioCompilationUnitElement {
}