xref: /seL4-l4v-master/HOL4/src/portableML/mosml/SHA1_ML.sig

signature SHA1_ML =
sig

  val sha1_file : {filename:string} -> string

end