decidable_eq source