Up
Next
Module type
Hptset.Id_Datatype
module type
Id_Datatype =
sig
..
end
Input signature of the functor
Set
.
Make
.
include
Datatype.S
val
id
:
t -> int