Module `5-Output_hash.Checked`

val hash : Message.var -> Group.var -> var Impl.Checked.t