structure SHA1 :> SHA1 =
struct

  open SHA1_ML

end