IronPython is completly written using managed .net (c#) code. So all builtin python methods and libraries (such as next(), int(), etc.) are writtin in .net.
This example shows the implementation of len() for a list of different types (only a few):
....
public static int len([NotNull]List/*!*/ l...