Looking for the font of this section of code from a Reddit post

[Doom Ronie]

Hello and thank you !

I recently saw an image on reddit and I was wondering what font was used. 

I tried to ask the one who posted the image, but he wasn't sure about the font and I come here for help !

Screenshot of the font, is not much, but I think it has some distinct characters

From what I see is a monospace font : 

[Ralf Herrmann]

Probably Apple’s San Francisco Mono. 

[Doom Ronie]

Thank you