Up

Module Datumable_of_binable

Helpers to make your types Datumable if they are binable. Works with up to 5 versions (easily extensible to more)

Signature

module type T = sig .. end
module type T_bin = sig .. end
module V (V : T) (T : T) : sig .. end
module type Pre_versions = sig .. end
module One_version (Versions : Pre_versions) (T : T) (V1 : T_bin) (V1_cvt : V(V1)(T).S) : Datumable with type datum = T.t