sig
  type t = string
  val string : string -> Digest.t
  val substring : string -> int -> int -> Digest.t
  val channel : Stdlib.in_channel -> int -> Digest.t
  val file : string -> Digest.t
  val output : Stdlib.out_channel -> Digest.t -> unit
  val input : Stdlib.in_channel -> Digest.t
  val to_hex : Digest.t -> string
end