Physical equality of functions

[mnxn]

I think it depends if the function was declared with external or not:

external id1 : 'a -> 'a = "%identity"
let id2 x = x

id1 == id1 is false, but id2 == id2 is true.