what I’m really wondering is if in file

a.kt

I define

Document.properties()

and then in

b.kt

I define

Document.properties()

, whose

Document.properties()

implementation does

c.kt

use?