Up – Package index » savvy » Library savvy.storage » Storage

Module `Storage`Source

Sourcemodule type STORAGE_UNIT = sig ... end

Sourcemodule type STORAGE_KIND = sig ... end

module MakeInMemoryStorage
  (V : STORAGE_KIND) : 
  STORAGE_UNIT with type value = V.value