Module type PolyMap.ValueS

type 'a t