Module PolyMapSource

Sourcemodule type ValueS = sig ... end

Polymorphic maps over an extensible GADT tag type.

Sourcemodule type Tag = sig ... end
Sourcemodule Make (Tag : Tag) : sig ... end