package org.shedlang.compiler.patio; public sealed interface PatioTestOutput { static PatioTestOutput int_(int value) { return new Int(value); } record Int(int value) implements PatioTestOutput {} }