Imported documentation comments for equal.fs from the hol-light Reference Manual.