Module `Serializable.GADT`

Database Interface for storing heterogeneous key-value pairs. Similar to Janestreet's Core.Univ_map

module type Database_intf = sig ... end

module type S = sig ... end

module type Key_intf = sig ... end

module Make (Key : Key_intf) : S with type 'a g := 'a Key.t