pub type Level = @core.Level