signature SHA1_ML = sig val sha1_file : {filename:string} -> string end