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 informations.
|
Info [Server.Data] |
Datatype informations.
|
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 .
|
S_collection [Data] | |
S_collection [Server.Data] |