lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

refactor: lake: API cleanup / mark some defs `private`

Open tydeu opened this issue 7 months ago • 3 comments

It has long been requested to better clarify what parts of Lake API are public and which parts are internal implementation details. This change is a small step towards that by marking some definitions that should virtually never be called directly by users as private.

tydeu avatar Jan 11 '24 17:01 tydeu