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