Index of module types

I
IdentifiedType [Data]	Datatype already identified by unique integers.
IdentifiedType [Server.Data]	Datatype already identified by unique integers.
Index [Data]	Datatype extended with access to value identifiers.
Index [Server.Data]	Datatype extended with access to value identifiers.
Info [Data]	Datatype information.
Info [Server.Data]	Datatype information.
Input [Request]
Input [Server.Request]
M
Map [Data]	Simplified `Map.S`.
Map [Server.Data]	Simplified `Map.S`.
O
Output [Request]
Output [Server.Request]
S
S [Data]	Datatype module signature.
S [Data.Record]	Data with `type t = r record`.
S [Server.Data]	Datatype module signature.
S [Server.Data.Record]	Data with `type t = r record`.