public JXdmSequenceType[] getArgumentTypes() { XdmSequenceType [] types = definition.GetArgumentTypes(); JXdmSequenceType[] results = new JXdmSequenceType[types.Length]; for (int i = 0; i < types.Length; i++) { results[i] = types[i].ToJXdmSequenceType(); } return(results); }