Modules like `Belt_internalAVLset` are available publicly, there should be some boundary so that consumers can't access internal implementation details.