// the expected SequenceType of the corresponding parameters.
if(expectedArgType instanceof SequenceType) {
expectedArgType = ((SequenceType) expectedArgType).prime();
}
if(!(expectedArgType instanceof AtomicType)) {
throw new TypeError("expectedArgType must be built-in atomic type, but was "
+ expectedArgType);
}
final AtomicType expected = (AtomicType) expectedArgType;
final ValueSequence res = new ValueSequence(dynEnv);
final IFocus<? extends Item> atomizedItor = argv.atomize(dynEnv).iterator();