What is this syntax `type t = (string,int,String.comparator_witness) Map.t`?

Learning
,
2

I found this syntax also in use in this question. Destructive substitution: is it possible to replace a type constructor with a monomorphic type?