Module Writer.Id

module Id: Core.Std.Unique_id