CompareWords
Compare
Erred
Definition:
(imp. & p. p.) of Err