How to construct a record which its type was defined in another file?

Learning
3

Thanks, it works in this way.

I was curious that if it is appropriate to export a record type?

In simple this case, we are good to modify both the klib.ml and klib.mli at the same. But in real world, we might have more than 10 fields inside a record, and it might easy prone to bugs in that case.