Module Reader.Id

module Id: Core.Std.Unique_id