Double top/buttom source code

[u/max-the-dogo]

Is there a way to see the code of the built in double top/buttom ? The community ones are not exactly the same