Previous
Up
Next
Module
Unique_id_intf
module
Unique_id_intf:
sig
..
end
Signature for use by
module : Unique_id
.
module type
Id
=
sig
..
end