- file_sha1(+File, -SHA1:atom) is det
- True when SHA1 is the SHA1 hash for the content of File. Options
is passed to open/4 and typically used to control whether binary
or text encoding must be used. The output is compatible to the
sha1sum program found in many systems.