Module Current_cache.SSource

Sourcemodule type WITH_DIGEST = sig ... end
Sourcemodule type WITH_MARSHAL = sig ... end
Sourcemodule type OPERATION = sig ... end
Sourcemodule type BUILDER = sig ... end

A builder generates an output value from an input key.

Sourcemodule type PUBLISHER = sig ... end

A publisher sets a key to a value.

Sourcemodule type GENERIC = sig ... end

The most general API. BUILDER and PUBLISHER are just special cases of this.