Module 4-Message.Checked

val hash_to_group : var -> Group.var Impl.Checked.t