Previous
Up
Next
Module
Unique_id_intf
module
Unique_id_intf:
sig
..
end
include
Core_kernel.Unique_id_intf