pub fn eq_label(l: &Option<Label>, r: &Option<Label>) -> bool