Message.Checked
val hash_to_group : Mina_base.State_hash.var t -> (Snark_params.Tick.Run.field Snarky_backendless.Cvar.t * Snark_params.Tick.Run.field Snarky_backendless.Cvar.t) Snark_params.Tick.Run.Internal_Basic.Checked.t