module type S = sig
  val hash : string -> string
  val verify : hash:string -> string -> bool
end