@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(
MapTypeDescriptor.mapTypeForSizesKeyTypeValueType(
IntegerRangeTypeDescriptor.wholeNumbers(),
ATOM.o(),
InstanceMetaDescriptor.anyMeta())),
ObjectTypeDescriptor.meta());
}
@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(InstanceMetaDescriptor.topMeta(), InstanceMetaDescriptor.topMeta()),
InstanceMetaDescriptor.topMeta());
}