Mhash_sha.Sha512
type state
type t
= Sha512.t
val ctx : state -> Sha512.ctx
val algo : (state, t) Mhash.hash_algo