1 module type S = sig 2 val hash : string -> string 3 val verify : hash:string -> string -> bool 4 end 5