manifold-example/src/main/java/extensions/java/lang/Iterable/StructuralIterable.java

package extensions.java.lang.Iterable;

import manifold.ext.rt.api.Extension;
import manifold.ext.rt.api.Structural;

@Extension
@Structural
public class StructuralIterable {
}