Module Brassaia_eio_pack_io.Pack_value

module Brassaia_pack = Brassaia_eio_pack.Brassaia_pack
include module type of struct include Brassaia_pack.Pack_value end
type nonrec weight = Brassaia_eio_pack.Pack_value_intf.weight =
  1. | Immediate of int
  2. | Deferred of unit -> int

kinded is an extenisble variant that each S extends so that it can define S.to_kinded and S.of_kinded. Its purpose is to allow containers, such as Brassaia_pack_unix.Lru, to store and return all types of S and thus be usable by modules defined over S, such as Brassaia_pack_unix.Pack_store.

module type Config = Brassaia_pack.Pack_value.Config
module type Persistent = sig ... end