Module type Unique_id

module type Unique_id = Unique_id.Id