Maps a type to another type.
The input type.
The type relation map. A type which has indices of pair, where each pair has the type [T, V], where T is the input type, and V is the output type.
Generated using TypeDoc
Maps a type to another type.