@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(
ATOM.o(),
MapTypeDescriptor.mapTypeForSizesKeyTypeValueType(
IntegerRangeTypeDescriptor.inclusive(
IntegerDescriptor.zero(), IntegerDescriptor.fromInt(socketOptions.length - 1)),
IntegerRangeTypeDescriptor.inclusive(
IntegerDescriptor.one(), IntegerDescriptor.fromInt(socketOptions.length - 1)),
ANY.o())),
TOP.o());
}
@Override
protected A_Type privateBlockTypeRestriction() {
return FunctionTypeDescriptor.create(
TupleDescriptor.from(ANY.o()),
TupleTypeDescriptor.oneOrMoreOf(IntegerRangeTypeDescriptor.bytes()));
}