Module type Unique_id

module type Unique_id = Unique_id_intf.Id