SizeOf Int

Stream: Is there code for X?

[Somo S.]

where can I find where the instance foe SizeOf Int is defined. I cant for the life of me, see it

[Ruben Van de Velde]

docs#Sizeof has a list of instances, but Int doesn't seem to be in it. There also seems to be a default one, though, so maybe that's used