Module Util.DataV
Parameters
L : sig ... endV : Sig.COMPARABLE
Signature
type data= L.tand label= V.tand t= data Stdlib.ref * V.t
Util.DataVL : sig ... endV : Sig.COMPARABLEtype data = L.tand label = V.tand t = data Stdlib.ref * V.t