Structure SHA1

Source File	Identifier index	Theory binding index

signature SHA1 =
sig

  include SHA1_ML
  (* includes a sha1_file entrypoint :
      sha1_file : {filename:string} -> string
  *)

end

Source File	Identifier index	Theory binding index