A linear type is an annotation on another thing to opt into semantics checking. The linear file probably has an integer file handle hidden insider it. As long

A linear type is an annotation on another thing to opt into semantics checking. The linear file probably has an integer file handle hidden insider it. As long as there is interface/implementation separation, no interface that gives you the underlying handle and not enough reflection in the language to dig it out, you're solid. Open and close must both be on the inside of the implementation so can breach the abstraction.