Previous
Up
Module type
Data.IdentifiedType
module type
IdentifiedType =
sig
..
end
Datatype already identified by unique integers.
type
t
val
id
:
t
-> int
include
Data.Info