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.