@Override protected A_Type privateBlockTypeRestriction() { return FunctionTypeDescriptor.create( TupleDescriptor.from( RAW_POJO.o(), TupleTypeDescriptor.mostGeneralType(), TupleTypeDescriptor.zeroOrMoreOf(RAW_POJO.o()), InstanceMetaDescriptor.topMeta()), TOP.o()); }
@Override protected A_Type privateBlockTypeRestriction() { return FunctionTypeDescriptor.create( TupleDescriptor.from(ANY.o()), TupleTypeDescriptor.oneOrMoreOf(IntegerRangeTypeDescriptor.bytes())); }