1signature SHA1 = 2sig 3 4 include SHA1_ML 5 (* includes a sha1_file entrypoint : 6 sha1_file : {filename:string} -> string 7 *) 8 9end 10